Exclude test profile on windows for regression/jbmc-strings/

and mark regression/jbmc-concurrency/ test as known bug
on windows.

Author: NlightNFotis

jbmc/regression/jbmc-concurrency/CMakeLists.txt

@@ -1,3 +1,9 @@
+if("${CMAKE_SYSTEM_NAME}" STREQUAL "Windows")
+  set(exclude_win_broken_tests -X winbug)
+else()
+  set(exclude_win_broken_tests "")
+endif()
+
 add_test_pl_tests(
-    "$<TARGET_FILE:jbmc> --validate-goto-model --validate-ssa-equation"
+    "$<TARGET_FILE:jbmc> --validate-goto-model --validate-ssa-equation" ${exclude_win_broken_tests}
 )

jbmc/regression/jbmc-concurrency/synchronized/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE winbug
 Sync
 --java-threading --throw-runtime-exceptions --cp `../../../../scripts/format_classpath.sh . ../../../src/java_bytecode/library/core-models.jar`
 ^EXIT=0$

jbmc/regression/jbmc-strings/CMakeLists.txt

@@ -8,9 +8,13 @@ add_test_pl_tests(
     "$<TARGET_FILE:jbmc> --validate-goto-model --validate-ssa-equation" ${exclude_win_broken_tests}
 )
 
-add_test_pl_profile(
+if("${CMAKE_SYSTEM_NAME}" STREQUAL "Windows")
+  message(WARNING "skipping broken jbmc-strings/ tests on windows")
+else()
+  add_test_pl_profile(
     "jbmc-strings-symex-driven-lazy-loading"
     "$<TARGET_FILE:jbmc> --validate-goto-model --validate-ssa-equation --symex-driven-lazy-loading"
     "-C;-X;symex-driven-lazy-loading-expected-failure;-s;symex-driven-loading"
     "CORE"
-)
+    )
+endif()