projects / jpf-core.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 795c8df)
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)
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


No differences found
Unnamed repository; edit this file 'description' to name the repository.