diff --git a/regression/book-examples/CMakeLists.txt b/regression/book-examples/CMakeLists.txt index 542439bf298..d61cfb85b92 100644 --- 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" "$ --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"