From e9ecc0d43a69f349f3d115cd17e862bc81dd3412 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Mon, 14 Mar 2022 09:52:44 +0200 Subject: [PATCH] Fix IntDomainTest after refine_with_excl_list change --- unittest/cdomains/intDomainTest.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/unittest/cdomains/intDomainTest.ml b/unittest/cdomains/intDomainTest.ml index 1e12ada148d..a002e6e2049 100644 --- a/unittest/cdomains/intDomainTest.ml +++ b/unittest/cdomains/intDomainTest.ml @@ -191,8 +191,8 @@ let test_meet _ = assert_equal ~printer:T.show tone (T.meet tex0 tone ) let test_ex_set _ = - assert_equal (Some [zero; one]) (T.to_excl_list tex10); - assert_equal (Some [zero; one]) (T.to_excl_list tex01); + assert_equal (Some [zero; one]) (T.to_excl_list tex10 |> Option.map fst); + assert_equal (Some [zero; one]) (T.to_excl_list tex01 |> Option.map fst); assert_bool "Not [1;0] is not excl set" (T.is_excl_list tex10); assert_bool "bot is excl set" (not (T.is_excl_list tbot)); assert_bool "42 is excl set" (not (T.is_excl_list t42));