Merge pull request #2656 from smowton/smowton/fix/testsuite-name

tautschnig · web-flow · commit 7f547b18280e · 2018-08-02T12:38:42.000+01:00
Fix jbmc-generic-symex-driven-lazy-loading test name
diff --git a/jbmc/regression/jbmc-generics/CMakeLists.txt b/jbmc/regression/jbmc-generics/CMakeLists.txt
@@ -3,7 +3,7 @@ add_test_pl_tests(
 )
 
 add_test_pl_profile(
-    "jbmc-symex-driven-lazy-loading"
+    "jbmc-generics-symex-driven-lazy-loading"
     "$<TARGET_FILE:jbmc> --symex-driven-lazy-loading"
     "-C;-X;symex-driven-lazy-loading-expected-failure;-s;symex-driven-loading"
     "CORE"

Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@ add_test_pl_tests(`
`3`	`3`	`)`
`4`	`4`
`5`	`5`	`add_test_pl_profile(`
`6`		`- "jbmc-symex-driven-lazy-loading"`
	`6`	`+ "jbmc-generics-symex-driven-lazy-loading"`
`7`	`7`	`"$<TARGET_FILE:jbmc> --symex-driven-lazy-loading"`
`8`	`8`	`"-C;-X;symex-driven-lazy-loading-expected-failure;-s;symex-driven-loading"`
`9`	`9`	`"CORE"`