We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 97e038f commit deebd01Copy full SHA for deebd01
regression/cbmc-java/package_friendly1/test.desc
@@ -2,7 +2,6 @@ CORE
2
main.class
3
package_friendly1.class package_friendly2.class --show-goto-functions
4
^main[.]main[(][)].*$
5
-^package_friendly1[.]operation1[(][)].*$
6
^package_friendly2[.]operation2[(][)].*$
7
^EXIT=0$
8
^SIGNAL=0$
0 commit comments