Skip to content

Mark memory hungry tests as THOROUGH #7134

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Sep 16, 2022
Merged

Mark memory hungry tests as THOROUGH #7134

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 4 additions & 1 deletion jbmc/regression/jbmc/context-include-exclude/test_exclude_from_include.desc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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$
Expand All @@ -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.
5 changes: 4 additions & 1 deletion jbmc/regression/jbmc/context-include-exclude/test_include.desc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
CORE
THOROUGH
Main
--context-include Main.
^EXIT=10$
Expand All @@ -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.