Skip tests with overapproximation

ultimate-pa · Aug 19, 2024 · 53891a1 · 53891a1
1 parent fd00dfe
commit 53891a1
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/trunk/examples/programs/quantifier/regression/bpl/.skip b/trunk/examples/programs/quantifier/regression/bpl/.skip
@@ -0,0 +1,2 @@
+// Overapproximation
+AuxVarInCall.bpl AutomizerBpl-forwardPredicates.epf AutomizerBpl.xml UNKNOWN
diff --git a/trunk/examples/programs/regression/bpl/.skip b/trunk/examples/programs/regression/bpl/.skip
@@ -4,5 +4,11 @@ BugNestedSsaWithPendingContexts.bpl AutomizerBpl-forwardPredicates.epf Automizer
 BugNoPredecessorOfReturnTransition.bpl PdrAutomizerBpl.epf PdrAutomizerBpl.xml TIMEOUT
 nestedWhileSimple-Safe.bpl PdrAutomizerBpl.epf PdrAutomizerBpl.xml TIMEOUT
 
+// Overapproximation
+Overapproximation.bpl AutomizerBpl-nestedInterpolants.epf AutomizerBpl.xml UNKNOWN
+Overapproximation.bpl AutomizerBpl-forwardPredicates.epf AutomizerBpl.xml UNKNOWN
+Overapproximation.bpl AutomizerBpl-FPandBP.epf AutomizerBpl.xml UNKNOWN
+Overapproximation.bpl PdrAutomizerBpl.epf PdrAutomizerBpl.xml UNKNOWN
+
 // The solver is unable to evaluate the formula, PDR cannot handle this
 BugLiveVariables04-Safe.bpl PdrAutomizerBpl.epf PdrAutomizerBpl.xml EXCEPTION_OR_ERROR
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		// Overapproximation
		AuxVarInCall.bpl AutomizerBpl-forwardPredicates.epf AutomizerBpl.xml UNKNOWN