Using 2ls without the --competition-mode flag makes it return Sat even for the trivial unsat.c test case.
The --competition-mode (that I found in the original tarball submitted to SV-Comp) is not available in the github release.
Options:
Use the binary from the SV-Comp tarball, which deviates from the current procedure of compiling and installation every tool from scratch inside the Docker image.
Don't use 2ls at all. Also note, that 2ls is based on cbmc and got a negative(!) score for the Reachability benchmarks in sv-comp2018.
--competition-modeflag makes it returnSateven for the trivialunsat.ctest case.--competition-mode(that I found in the original tarball submitted to SV-Comp) is not available in the github release.Options:
2lsat all. Also note, that2lsis based on cbmc and got a negative(!) score for the Reachability benchmarks in sv-comp2018.