answers

pruemmer · pruemmer · commit dd22b12996da · 2024-11-08T13:30:55.000+01:00
diff --git a/testcases/unprovable/Answers2 b/testcases/unprovable/Answers2
@@ -92,12 +92,9 @@ Countermodel:
 c = 0
 Loading wrongInequalities4.pri ...
 Preprocessing ...
-Constructing countermodel ...
+Constructing satisfying assignment for the existential constants ...
 
 INVALID
-
-Countermodel:
-true
 Loading wrongInequalities5.pri ...
 Preprocessing ...
 Constructing countermodel ...
