Exclude tests that are broken on the ubuntu 18.04 package build job.

Author: NlightNFotis

jbmc/regression/jbmc/CMakeLists.txt

@@ -13,7 +13,7 @@ else()
     add_test_pl_profile(
             "jbmc-symex-driven-lazy-loading"
             "$<TARGET_FILE:jbmc> --validate-goto-model --validate-ssa-equation --validate-trace --symex-driven-lazy-loading"
-            "-C;-X;symex-driven-lazy-loading-expected-failure;-X;bdd-expected-timeout;-s;symex-driven-loading"
+            "-C;-X;symex-driven-lazy-loading-expected-failure;-X;bdd-expected-timeout;-s;symex-driven-loading;-X;broken-1804-test;"
             "CORE"
     )
 endif()

jbmc/regression/jbmc/context-include-exclude/test_exclude_absent.desc

@@ -1,4 +1,4 @@
-CORE
+CORE broken-1804-test
 Main
 --context-exclude org.cprover.oh
 ^EXIT=0$

jbmc/regression/jbmc/context-include-exclude/test_exclude_from_all.desc

@@ -1,4 +1,4 @@
-CORE
+CORE broken-1804-test
 Main
 --context-exclude 'org.cprover.MyClass$Inner.'
 ^EXIT=10$

jbmc/regression/jbmc/context-include-exclude/test_exclude_from_include.desc

@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 Main
 --context-include Main.main --context-include 'Main.<clinit' --context-include org.cprover.MyClass --context-exclude 'org.cprover.MyClass$Inner.'
 ^EXIT=10$

jbmc/regression/jbmc/context-include-exclude/test_exclude_package_prefix.desc

@@ -1,4 +1,4 @@
-CORE
+CORE broken-1804-test
 Main
 --context-include Main --context-include org.cprover --context-exclude org.cprover.ot
 ^EXIT=10$

jbmc/regression/jbmc/context-include-exclude/test_excluded_deleted_original_body.desc

@@ -1,4 +1,4 @@
-CORE
+CORE broken-1804-test
 ExcludedProperties
 --context-exclude org.cprover.other --function ExcludedProperties.runtimeReturnType
 ^EXIT=10$

jbmc/regression/jbmc/context-include-exclude/test_excluded_entry_point.desc

@@ -1,4 +1,4 @@
-CORE
+CORE broken-1804-test
 Main
 --context-exclude 'org.cprover.MyClass$Inner.' --function 'org.cprover.MyClass$Inner.doIt:(I)I'
 ^EXIT=1$

jbmc/regression/jbmc/context-include-exclude/test_excluded_has_nondet_body.desc

@@ -1,4 +1,4 @@
-CORE
+CORE broken-1804-test
 ExcludedProperties
 --context-exclude org.cprover.other --function ExcludedProperties.compileTimeReturnType
 ^EXIT=10$

jbmc/regression/jbmc/context-include-exclude/test_excluded_has_parameter_info.desc

@@ -1,4 +1,4 @@
-CORE
+CORE broken-1804-test
 ExcludedProperties
 --context-exclude org.cprover.other --show-symbol-table --function ExcludedProperties.parameters
 ^EXIT=0$

jbmc/regression/jbmc/context-include-exclude/test_include.desc

@@ -1,4 +1,4 @@
-CORE
+CORE broken-1804-test
 Main
 --context-include Main.
 ^EXIT=10$

jbmc/regression/jbmc/context-include-exclude/test_include_all.desc

@@ -1,4 +1,4 @@
-CORE
+CORE broken-1804-test
 Main
 
 ^EXIT=0$