Update tests

OCamlPro · Nov 21, 2023 · a74804f · a74804f
1 parent ffb4cab
commit a74804f
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 7 deletions.
diff --git a/tests/models/bool/bool1.models.expected b/tests/models/bool/bool1.models.expected
@@ -4,15 +4,15 @@ unknown
   (define-fun p () Bool true)
   (define-fun q () Bool true)
 )
-((notp unknown)
- (notnq unknown))
+((notp false)
+ (notnq false))
 
 
 unknown
 (
   (define-fun p () Bool true)
   (define-fun q () Bool true)
 )
-((notp unknown)
- (notnq unknown))
+((notp false)
+ (notnq false))
 
diff --git a/tests/models/bool/bool2.models.expected b/tests/models/bool/bool2.models.expected
@@ -3,5 +3,5 @@ unknown
 (
   (define-fun x () Bool false)
 )
-((notx unknown))
+((notx true))
 
diff --git a/tests/models/bool/bool3.models.expected b/tests/models/bool/bool3.models.expected
@@ -4,6 +4,6 @@ unknown
   (define-fun x () Bool true)
   (define-fun y () Bool true)
 )
-((foo unknown)
- (bar unknown))
+((foo true)
+ (bar false))