Incorrect Verification Task

[sohah]

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)