From e2156cbf273d774a43fd3515cab87ac9c4c64c4f Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Tue, 28 Apr 2015 22:35:12 +0600 Subject: Add Vylist.in_list for quick checks. --- test/vylist_test.ml | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'test') diff --git a/test/vylist_test.ml b/test/vylist_test.ml index 45336bb..8cd504b 100644 --- a/test/vylist_test.ml +++ b/test/vylist_test.ml @@ -55,6 +55,12 @@ let test_complement_doesnt_contain test_ctxt = let xs = [1;2;3] and ys = [1;4;5;6] in assert_equal (complement xs ys) None +(* in_list works *) +let test_in_list test_ctxt = + let xs = [1;2;3;4] in + assert_equal (in_list xs 3) true; + assert_equal (in_list xs 9) false + let suite = "VyConf list tests" >::: [ "test_find_existent" >:: test_find_existent; -- cgit v1.2.3