search

sosy-lab / sv-benchmarks

Collection of Verification Tasks (MOVED, please follow the link)
https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks
184 stars 169 forks source link

Incorrect Verification Task #1288

Open sohah opened 3 years ago

sohah commented 3 years ago

The java/java-ranger-regress/apachecli_eqchk (here) is incorrect. Trying it out on the concrete values of

` char in0 = '-';

char in1 = ' ';
char in2 = '-';
char in3 = ' ';
char in4 = '-';
char in5 = '*';
char in6 = ' ';
char in7 = ' ';
boolean in8 = false;`

in TestCLI.testHarness(Main v) results in an apachecli_eqchk.UnrecognizedOptionException thrown. The trace is below

svcomp.apachecli_eqchk.UnrecognizedOptionException: Unrecognized option: * at svcomp.apachecli_eqchk.Parser.processOption(Parser.java:398) at svcomp.apachecli_eqchk.Parser.parse(Parser.java:179) at svcomp.apachecli_eqchk.Parser.parse(Parser.java:93) at svcomp.apachecli_eqchk.CLI.execute(CLI.java:73) at svcomp.apachecli_eqchk.CLI.mainProcess(CLI.java:63) at svcomp.apachecli_eqchk.Main.runCLI(Main.java:8) at svcomp.apachecli_eqchk.Main.testFunction(Main.java:20) at svcomp.apachecli_eqchk.TestCLI.SPFWrapper(TestCLI.java:33) at svcomp.apachecli_eqchk.TestCLI.testHarness(TestCLI.java:17) at svcomp.apachecli_eqchk.TestCLI.runTest(TestCLI.java:51) at svcomp.apachecli_eqchk.Main.main(Main.java:15) svcomp.apachecli_eqchk.UnrecognizedOptionException: Unrecognized option: * at svcomp.apachecli_eqchk.Parser.processOption(Parser.java:398) at svcomp.apachecli_eqchk.Parser.parse(Parser.java:179) at svcomp.apachecli_eqchk.Parser.parse(Parser.java:93) at svcomp.apachecli_eqchk.CLI.execute(CLI.java:73) at svcomp.apachecli_eqchk.CLI.mainProcess(CLI.java:63) at svcomp.apachecli_eqchk.Main.runCLI(Main.java:8) at svcomp.apachecli_eqchk.Main.testFunction(Main.java:20) at svcomp.apachecli_eqchk.TestCLI.JRWrapper(TestCLI.java:47) at svcomp.apachecli_eqchk.TestCLI.testHarness(TestCLI.java:18) at svcomp.apachecli_eqchk.TestCLI.runTest(TestCLI.java:51) at svcomp.apachecli_eqchk.Main.main(Main.java:15)