Make JAR/zip support optional in regression tests
With cbmc-java regression tests enabled by default, the absence of optional JAR/zip file support should not cause regression tests to fail.
This commit is contained in:
parent
06942bbf24
commit
77d4119612
|
@ -1,8 +1,8 @@
|
|||
CORE
|
||||
some_jar.jar
|
||||
|
||||
^EXIT=0$
|
||||
^EXIT=\(0\|6\)$
|
||||
^SIGNAL=0$
|
||||
^VERIFICATION SUCCESSFUL$
|
||||
^\(VERIFICATION SUCCESSFUL\|No support for reading JAR files\)$
|
||||
--
|
||||
^warning: ignoring
|
||||
|
|
|
@ -1,8 +1,8 @@
|
|||
CORE
|
||||
jar-file2.jar
|
||||
--main-class some_class
|
||||
^EXIT=10$
|
||||
^EXIT=\(10\|6\)$
|
||||
^SIGNAL=0$
|
||||
^VERIFICATION FAILED$
|
||||
^\(VERIFICATION FAILED\|No support for reading JAR files\)$
|
||||
--
|
||||
^warning: ignoring
|
||||
|
|
Loading…
Reference in New Issue