Revert part of "Remove unused FlattenedBI module": keep the test

This reverts part of the commit 4e95cff.
goblint · Jan 22, 2024 · 7f80113 · 7f80113
1 parent f8ea135
commit 7f80113
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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;