Disable test for --paths lifo

zhassan-aws · zhassan-aws · commit a355830ab990 · 2023-02-09T16:41:33.000-08:00
diff --git a/regression/Testing/Temporary/CTestCostData.txt b/regression/Testing/Temporary/CTestCostData.txt
@@ -0,0 +1 @@
+---
diff --git a/regression/Testing/Temporary/LastTest.log b/regression/Testing/Temporary/LastTest.log
@@ -0,0 +1,3 @@
+Start testing: Feb 09 16:05 PST
+----------------------------------------------------------
+End testing: Feb 09 16:05 PST
diff --git a/regression/cbmc/sat-solver-error/test.desc b/regression/cbmc/sat-solver-error/test.desc
@@ -1,4 +1,4 @@
-CORE broken-z3-smt-backend broken-cprover-smt-backend 
+CORE broken-z3-smt-backend broken-cprover-smt-backend paths-lifo-expected-failure
 test.c
 --sat-solver non-existing-solver
 ^EXIT=1$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-CORE broken-z3-smt-backend broken-cprover-smt-backend`
	`1`	`+CORE broken-z3-smt-backend broken-cprover-smt-backend paths-lifo-expected-failure`
`2`	`2`	`test.c`
`3`	`3`	`--sat-solver non-existing-solver`
`4`	`4`	`^EXIT=1$`