merged test_levenshtein with other tests

This commit is contained in:
Simon Cruanes 2015-01-25 23:07:40 +01:00
parent f0b19b9980
commit 7954687fab
2 changed files with 2 additions and 6 deletions

View file

@ -19,6 +19,7 @@ let props =
[ Test_PersistentHashtbl.props [ Test_PersistentHashtbl.props
; Test_bv.props ; Test_bv.props
; Test_vector.props ; Test_vector.props
; Test_levenshtein.props
] ]
let _ = let _ =

View file

@ -54,13 +54,8 @@ let test_index =
let name = "strings retrieved from automaton with limit:n are at distance <= n" in let name = "strings retrieved from automaton with limit:n are at distance <= n" in
QCheck.mk_test ~name gen test QCheck.mk_test ~name gen test
let suite = let props =
[ test_automaton [ test_automaton
; test_mutation ; test_mutation
; test_index ; test_index
] ]
let () =
if not (QCheck.run_tests suite)
then exit 1;
()