From 7954687fab0baa398de7c4af69232986290a62b2 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 25 Jan 2015 23:07:40 +0100 Subject: [PATCH] merged test_levenshtein with other tests --- tests/run_tests.ml | 1 + tests/test_levenshtein.ml | 7 +------ 2 files changed, 2 insertions(+), 6 deletions(-) diff --git a/tests/run_tests.ml b/tests/run_tests.ml index 6fd66b5d..96c95bde 100644 --- a/tests/run_tests.ml +++ b/tests/run_tests.ml @@ -19,6 +19,7 @@ let props = [ Test_PersistentHashtbl.props ; Test_bv.props ; Test_vector.props + ; Test_levenshtein.props ] let _ = diff --git a/tests/test_levenshtein.ml b/tests/test_levenshtein.ml index 52ecd20a..38f5bbc8 100644 --- a/tests/test_levenshtein.ml +++ b/tests/test_levenshtein.ml @@ -54,13 +54,8 @@ let test_index = let name = "strings retrieved from automaton with limit:n are at distance <= n" in QCheck.mk_test ~name gen test -let suite = +let props = [ test_automaton ; test_mutation ; test_index ] - -let () = - if not (QCheck.run_tests suite) - then exit 1; - ()