projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d595544) | patch
Run script for Benchexec
authorPeter Schrammel <peter.schrammel@diffblue.com>
Mon, 27 Aug 2018 11:17:55 +0000 (12:17 +0100)
committerPeter Schrammel <peter.schrammel@diffblue.com>
Mon, 27 Aug 2018 11:26:32 +0000 (12:26 +0100)
commit795c8dfa2505f7c1a210d4534262b9f6eead7812
treec6c9e5201078e76ac4707b30674cf778e278fa07tree | snapshot
parentd595544a88bad44ea2ddedbc27e3e664a5b920fdcommit | diff
Run script for Benchexec

Benchexec is the benchmarking framework used
by SV-COMP.
https://github.com/sosy-lab/benchexec

It can be run using the benchmark definition in
https://github.com/sosy-lab/sv-comp
and the benchmarks in
https://github.com/sosy-lab/sv-benchmarks
bin/jpf-sv-comp [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.