Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
__init__.py Initial import of BenchExec from CPAchecker repository Feb 13, 2015
acsar.py Remove some broken preprocessing of files from tool-info modules. Dec 4, 2016
aprove.py Simplify regexp handling Nov 28, 2018
blast.py For Python it is more common to use underlines instead of camel case. Dec 10, 2016
calculatepi.py Add dummy tool "calculatepi" that can be used as a simple CPU benchmark. Dec 3, 2015
cascade.py Req Paths for Cascade Dec 23, 2015
cbmc-path.py Add tool-info module for CBMC Path Oct 19, 2018
cbmc.py Fix memcleanup result for CBMC Nov 19, 2018
ceagle.py Remove function that is not necessary anymore Nov 27, 2016
civl.py more path fixes Dec 23, 2015
consequence.py Remove trailing whitespace. Nov 28, 2018
cpa-witness2test.py Nicer version number for CPA-witness2test Nov 16, 2017
cpachecker.py Add result "DONE" to tool-info module for CPAchecker. Dec 11, 2018
cseq.py Remove trailing whitespace. Nov 28, 2018
depthk.py Strip trailing newline from version number reported by DepthK Nov 19, 2018
divine.py Verifier must give a short status, not log output as status Dec 24, 2015
divine4.py Improve tool-info module divine4: Nov 16, 2018
dummy.py Replace dummy tools "true", "false", and "rand" Jan 30, 2017
ecav.py Mark results as timeout if a tool is killed with signal 15 due to tim… May 26, 2015
esbmc.py Correct PATH settings should be done locally in the respective tool Dec 5, 2016
false.py Rename <inputfiles> to <tasks>. Mar 9, 2015
feaver.py Remove some broken preprocessing of files from tool-info modules. Dec 4, 2016
forest.py Correct result translation for Forest Jan 7, 2016
forester.py Fixed required paths for the binary version of Forester Dec 28, 2015
fshell-witness2test.py Rename w2t tool to common naming schema Nov 12, 2017
hiprec.py Correct problem with missing files (hiprec) Dec 27, 2015
hiptnt.py revised hiptnt.py to detect error Dec 19, 2016
impara.py Fix several string format issues found by Codacy static analysis. Feb 2, 2016
javac.py Add benchexec.result.RESULT_DONE Dec 5, 2018
jayhorn.py Fix typo: Add missing commas in array initialization Nov 14, 2018
jbmc.py Fix a bug in tool-info module: undefined name Nov 10, 2018
jpf.py Add file that should be deployed to REQUIRED_PATHS, for JPF Nov 17, 2018
klee.py Rename "tool wrapper" to "tool info". Dec 2, 2015
lazycseq.py Update lazycseq.py Nov 30, 2018
lazycseqabs.py Create lazycseqabs.py Nov 7, 2016
lazycseqswarm.py Create lazycseqswarm.py Nov 7, 2016
lctd.py Add required paths for LCTD Dec 24, 2015
llbmc.py Remove some broken preprocessing of files from tool-info modules. Dec 4, 2016
map2check.py Updated to valid-memcleanup Nov 28, 2018
mathsat.py Rename "tool wrapper" to "tool info". Dec 2, 2015
mucseq.py Correct problem with missing file (mucseq) Dec 27, 2015
pacman.py Remove unnecessary code Dec 23, 2015
pagai.py Remove superfluous code that was intended to allow executing tool wra… Nov 9, 2015
pesco.py PeSCo inherits from CPAChecker tool info Oct 20, 2018
pinaka.py Updated; Nov 20, 2018
predatorhp.py add version for PredatorHP Nov 13, 2018
satabs.py Make helper function _version_from_tool more generic Nov 3, 2015
seahorn.py Accidentally accepted to much of the last pull request. Cleaning up now. Jan 14, 2016
skink.py Remove trailing whitespace. Nov 28, 2018
smack.py Fixed detection of integer overflow error Nov 5, 2018
smtinterpol.py Rename "tool wrapper" to "tool info". Dec 2, 2015
smtlib2.py Rename "tool wrapper" to "tool info". Dec 2, 2015
spf.py fixed spf.py Nov 17, 2018
symbiotic.py symbiotic: update tracking phases Nov 27, 2018
symbiotic4.py symbiotic4: fix parsing overflow results Dec 15, 2016
symdivine.py Add witness templates to SymDIVINE's files Dec 9, 2016
tabol.py Remove trailing whitespace. Nov 28, 2018
tbf.py Tool-info module for TBF handles TBF verdict 'done' as 'done' Dec 5, 2018
template.py Add benchexec.result.RESULT_DONE Dec 5, 2018
test.py Add tests that check whether tool-info modules can be loaded Nov 15, 2018
threader.py Correct PATH settings should be done locally in the respective tool Dec 5, 2016
two_ls.py Fix memcleanup result for 2LS Nov 19, 2018
ufo.py Update copyright statement. Feb 13, 2015
ulcseq.py Adding more paths Dec 23, 2015
ultimate.py Use raw strings for all regexp constants Nov 28, 2018
ultimateautomizer.py updated description of Ultimate tools Nov 14, 2018
ultimatekojak.py updated description of Ultimate tools Nov 14, 2018
ultimatetaipan.py updated description of Ultimate tools Nov 14, 2018
veriabs.py Remove trailing whitespace. Nov 28, 2018
verifuzz.py Update Verifuzz.py for versioning Nov 13, 2018
viap.py Remove trailing whitespace. Nov 28, 2018
vvt.py Fix a bug in the output parsing for VVT: the line with the result som… Mar 28, 2018
wolverine.py Rename "status" to "result" in the module result Feb 26, 2015
yogar-cbmc-parallel.py Update yogar-cbmc-parallel.py Nov 15, 2018
yogar-cbmc.py Add version number in yogar-cbmc.py Nov 14, 2018
z3.py add z3 as supported tool Jun 11, 2018