Mark tests that timeout on ubuntu 18.04 job as KNOWNBUG

NlightNFotis · NlightNFotis · commit bfdd5ac0c729 · 2022-09-15T16:36:14.000+01:00
diff --git a/jbmc/regression/jbmc/context-include-exclude/test_exclude_absent.desc b/jbmc/regression/jbmc/context-include-exclude/test_exclude_absent.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 Main
 --context-exclude org.cprover.oh
 ^EXIT=0$
diff --git a/jbmc/regression/jbmc/context-include-exclude/test_exclude_from_all.desc b/jbmc/regression/jbmc/context-include-exclude/test_exclude_from_all.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 Main
 --context-exclude 'org.cprover.MyClass$Inner.'
 ^EXIT=10$
diff --git a/jbmc/regression/jbmc/context-include-exclude/test_exclude_from_include.desc b/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$
diff --git a/jbmc/regression/jbmc/context-include-exclude/test_exclude_package_prefix.desc b/jbmc/regression/jbmc/context-include-exclude/test_exclude_package_prefix.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 Main
 --context-include Main --context-include org.cprover --context-exclude org.cprover.ot
 ^EXIT=10$
diff --git a/jbmc/regression/jbmc/context-include-exclude/test_excluded_deleted_original_body.desc b/jbmc/regression/jbmc/context-include-exclude/test_excluded_deleted_original_body.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 ExcludedProperties
 --context-exclude org.cprover.other --function ExcludedProperties.runtimeReturnType
 ^EXIT=10$
diff --git a/jbmc/regression/jbmc/context-include-exclude/test_excluded_entry_point.desc b/jbmc/regression/jbmc/context-include-exclude/test_excluded_entry_point.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 Main
 --context-exclude 'org.cprover.MyClass$Inner.' --function 'org.cprover.MyClass$Inner.doIt:(I)I'
 ^EXIT=1$
diff --git a/jbmc/regression/jbmc/context-include-exclude/test_excluded_has_nondet_body.desc b/jbmc/regression/jbmc/context-include-exclude/test_excluded_has_nondet_body.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 ExcludedProperties
 --context-exclude org.cprover.other --function ExcludedProperties.compileTimeReturnType
 ^EXIT=10$
diff --git a/jbmc/regression/jbmc/context-include-exclude/test_excluded_has_parameter_info.desc b/jbmc/regression/jbmc/context-include-exclude/test_excluded_has_parameter_info.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 ExcludedProperties
 --context-exclude org.cprover.other --show-symbol-table --function ExcludedProperties.parameters
 ^EXIT=0$
diff --git a/jbmc/regression/jbmc/context-include-exclude/test_include.desc b/jbmc/regression/jbmc/context-include-exclude/test_include.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 Main
 --context-include Main.
 ^EXIT=10$
diff --git a/jbmc/regression/jbmc/context-include-exclude/test_include_all.desc b/jbmc/regression/jbmc/context-include-exclude/test_include_all.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 Main
 
 ^EXIT=0$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-CORE`
	`1`	`+KNOWNBUG`
`2`	`2`	`Main`
`3`	`3`	`--context-exclude org.cprover.oh`
`4`	`4`	`^EXIT=0$`