From 7f80113b2adc89dc9aaeda3f6583879f7b8f5bb2 Mon Sep 17 00:00:00 2001 From: Karoliine Holter Date: Mon, 22 Jan 2024 15:20:14 +0200 Subject: [PATCH] Revert part of "Remove unused FlattenedBI module": keep the test This reverts part of the commit 4e95cff843ae0315081517beb47b97677670feb6. --- unittest/cdomains/intDomainTest.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/unittest/cdomains/intDomainTest.ml b/unittest/cdomains/intDomainTest.ml index 763c3e7e93..7caf98a861 100644 --- a/unittest/cdomains/intDomainTest.ml +++ b/unittest/cdomains/intDomainTest.ml @@ -110,6 +110,7 @@ end module Ikind = struct let ikind () = Cil.ILong end module A = IntTest (IntDomain.Integers (IntOps.BigIntOps)) +module B = IntTest (IntDomain.Flat (IntDomain.Integers (IntOps.BigIntOps))) module C = IntTest (IntDomainProperties.WithIkind (IntDomain.DefExc) (Ikind)) module T = struct include IntDomainProperties.WithIkind (IntDomain.DefExc) (Ikind) @@ -282,7 +283,8 @@ end let test () = "intDomainTest" >::: [ "int_Integers" >::: A.test (); - "int_DefExc" >::: C.test (); + "int_Flattened" >::: B.test (); + "int_DefExc" >::: C.test (); "test_bot" >:: test_bot; "test_join" >:: test_join; "test_meet" >:: test_meet;