Name -paths-lifo test profiles uniquely

thomasspriggs · thomasspriggs · commit dbca2717eb3d · 2023-12-12T16:48:28.000Z
The test profile name `cbmc-paths-lifo` in `book-examples` had already
been used in the `regression/cbmc`. This commit gives the profile a
unique name so that the test suite functions correctly.
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> --no-standard-checks --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> --no-standard-checks --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"`