test string_literal1 now works

Daniel Kroening · tautschnig · commit b6e623f91083 · 2023-05-04T12:16:54.000Z
diff --git a/jbmc/regression/jbmc/string_literal1/test.desc b/jbmc/regression/jbmc/string_literal1/test.desc
@@ -1,6 +1,6 @@
-KNOWNBUG
-array1
-
+CORE
+string_literal1
+--cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar ../../../lib/java-models-library/target/cprover-api.jar`
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
