Merge pull request #8097 from thomasspriggs/tas/fix_book_examples_run

thomasspriggs · web-flow · commit 97ab1330cfaa · 2023-12-13T12:08:37.000Z
Name `-paths-lifo` test profiles uniquely
diff --git a/regression/book-examples/CMakeLists.txt b/regression/book-examples/CMakeLists.txt
@@ -17,7 +17,7 @@ add_test_pl_tests(
 )
 
 add_test_pl_profile(
-    "cbmc-paths-lifo"
+    "book-examples-paths-lifo"
     "$<TARGET_FILE:cbmc> --paths lifo"
     "-C;-X;thorough-paths;-X;smt-backend;-X;paths-lifo-expected-failure;${gcc_only_string}-s;paths-lifo;${exclude_win_broken_tests_string}"
     "CORE"

Original file line number	Diff line number	Diff line change
`@@ -17,7 +17,7 @@ add_test_pl_tests(`
`17`	`17`	`)`
`18`	`18`
`19`	`19`	`add_test_pl_profile(`
`20`		`- "cbmc-paths-lifo"`
	`20`	`+ "book-examples-paths-lifo"`
`21`	`21`	`"$<TARGET_FILE:cbmc> --paths lifo"`
`22`	`22`	`"-C;-X;thorough-paths;-X;smt-backend;-X;paths-lifo-expected-failure;${gcc_only_string}-s;paths-lifo;${exclude_win_broken_tests_string}"`
`23`	`23`	`"CORE"`