diff options
Diffstat (limited to 'tests/analyser_filters.ml')
| -rw-r--r-- | tests/analyser_filters.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/analyser_filters.ml b/tests/analyser_filters.ml index 9a54bde..851efb8 100644 --- a/tests/analyser_filters.ml +++ b/tests/analyser_filters.ml @@ -179,7 +179,7 @@ let group_with_group () = let tests = Alcotest. - ( "filters", + ( __FILE__, [ test_case "No filters" `Quick empty_predicates; test_case "Simple filter" `Quick simple_filter; |