Merge pull request #7134 from remi-delmas-3000/thorough-tests

Mark memory hungry tests as THOROUGH

Author: kroening

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

@@ -1,4 +1,4 @@
-CORE
+THOROUGH
 Main
 --context-include Main.main --context-include 'Main.<clinit' --context-include org.cprover.MyClass --context-exclude 'org.cprover.MyClass$Inner.'
 ^EXIT=10$
@@ -12,3 +12,6 @@ WARNING: no body for function .*
 --
 Tests that only the specified methods and classes are included, while
 the inner class from MyClass is excluded.
+
+The test is marked "THOROUGH" as it requires more memory than may be available
+on some GitHub runners.

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

@@ -1,4 +1,4 @@
-CORE
+THOROUGH
 Main
 --context-include Main.
 ^EXIT=10$
@@ -11,3 +11,6 @@ Main
 WARNING: no body for function .*
 --
 Tests that only methods from the specified class are included.
+
+The test is marked "THOROUGH" as it requires more memory than may be available
+on some GitHub runners.