CHANGELOG.md
LICENSE
MANIFEST.in
README.md
setup.py
BenchExec.egg-info/PKG-INFO
BenchExec.egg-info/SOURCES.txt
BenchExec.egg-info/dependency_links.txt
BenchExec.egg-info/entry_points.txt
BenchExec.egg-info/requires.txt
BenchExec.egg-info/top_level.txt
BenchExec.egg-info/zip-safe
benchexec/__init__.py
benchexec/benchexec.py
benchexec/cgroups.py
benchexec/check_cgroups.py
benchexec/filewriter.py
benchexec/localexecution.py
benchexec/model.py
benchexec/oomhandler.py
benchexec/outputhandler.py
benchexec/resources.py
benchexec/result.py
benchexec/runexecutor.py
benchexec/systeminfo.py
benchexec/test_analyze_run_result.py
benchexec/test_benchexec_integration.py
benchexec/test_cgroups.py
benchexec/test_core_assignment.py
benchexec/test_python2.py
benchexec/test_result.py
benchexec/test_runexecutor.py
benchexec/test_tool_info.py
benchexec/test_tool_wrapper.py
benchexec/test_util.py
benchexec/util.py
benchexec/tablegenerator/__init__.py
benchexec/tablegenerator/columns.py
benchexec/tablegenerator/template.csv
benchexec/tablegenerator/template.html
benchexec/tablegenerator/util.py
benchexec/tablegenerator/test/__init__.py
benchexec/tablegenerator/test/integration_test.py
benchexec/tablegenerator/test/multi-table-with-columns.xml
benchexec/tablegenerator/test/multi-table-with-wildcards.xml
benchexec/tablegenerator/test/multi-table.xml
benchexec/tablegenerator/test/simple-table-with-columns.xml
benchexec/tablegenerator/test/simple-table-with-links.xml
benchexec/tablegenerator/test/simple-table-with-numberOfDigits.xml
benchexec/tablegenerator/test/simple-table-with-scaling.xml
benchexec/tablegenerator/test/simple-table.xml
benchexec/tablegenerator/test/smt.xml
benchexec/tablegenerator/test/test_numberformat.py
benchexec/tablegenerator/test/test_statvalue.py
benchexec/tablegenerator/test/union-table-duplicate-results.xml
benchexec/tablegenerator/test/union-table-mixed.xml
benchexec/tablegenerator/test/union-table-multiple-results.xml
benchexec/tablegenerator/test/union-table-predicateAnalysis.xml
benchexec/tablegenerator/test/union-table-valueAnalysis.xml
benchexec/tablegenerator/test/union-table.xml
benchexec/tablegenerator/test/expected/big-table.diff.csv
benchexec/tablegenerator/test/expected/big-table.diff.html
benchexec/tablegenerator/test/expected/big-table.table.csv
benchexec/tablegenerator/test/expected/big-table.table.html
benchexec/tablegenerator/test/expected/multi-table-with-columns.diff.csv
benchexec/tablegenerator/test/expected/multi-table-with-columns.diff.html
benchexec/tablegenerator/test/expected/multi-table-with-columns.table.csv
benchexec/tablegenerator/test/expected/multi-table-with-columns.table.html
benchexec/tablegenerator/test/expected/multi-table-with-wildcards.diff.csv
benchexec/tablegenerator/test/expected/multi-table-with-wildcards.diff.html
benchexec/tablegenerator/test/expected/multi-table-with-wildcards.table.csv
benchexec/tablegenerator/test/expected/multi-table-with-wildcards.table.html
benchexec/tablegenerator/test/expected/multi-table.diff.csv
benchexec/tablegenerator/test/expected/multi-table.diff.html
benchexec/tablegenerator/test/expected/multi-table.table.csv
benchexec/tablegenerator/test/expected/multi-table.table.html
benchexec/tablegenerator/test/expected/predicateAnalysis-reverse.table.csv
benchexec/tablegenerator/test/expected/predicateAnalysis-reverse.table.html
benchexec/tablegenerator/test/expected/predicateAnalysis.table.csv
benchexec/tablegenerator/test/expected/predicateAnalysis.table.html
benchexec/tablegenerator/test/expected/simple-table-with-columns.table.csv
benchexec/tablegenerator/test/expected/simple-table-with-columns.table.html
benchexec/tablegenerator/test/expected/simple-table-with-links.table.csv
benchexec/tablegenerator/test/expected/simple-table-with-links.table.html
benchexec/tablegenerator/test/expected/simple-table-with-numberOfDigits.table.csv
benchexec/tablegenerator/test/expected/simple-table-with-numberOfDigits.table.html
benchexec/tablegenerator/test/expected/simple-table-with-scaling.table.csv
benchexec/tablegenerator/test/expected/simple-table-with-scaling.table.html
benchexec/tablegenerator/test/expected/smt.diff.csv
benchexec/tablegenerator/test/expected/smt.diff.html
benchexec/tablegenerator/test/expected/smt.table.csv
benchexec/tablegenerator/test/expected/smt.table.html
benchexec/tablegenerator/test/expected/test-error.2015-03-03_1613.diff.csv
benchexec/tablegenerator/test/expected/test-error.2015-03-03_1613.diff.html
benchexec/tablegenerator/test/expected/test-error.2015-03-03_1613.table.csv
benchexec/tablegenerator/test/expected/test-error.2015-03-03_1613.table.html
benchexec/tablegenerator/test/expected/test.2015-03-03_1613-common.diff.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613-common.diff.html
benchexec/tablegenerator/test/expected/test.2015-03-03_1613-common.table.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613-common.table.html
benchexec/tablegenerator/test/expected/test.2015-03-03_1613-correct-only.diff.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613-correct-only.diff.html
benchexec/tablegenerator/test/expected/test.2015-03-03_1613-correct-only.table.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613-correct-only.table.html
benchexec/tablegenerator/test/expected/test.2015-03-03_1613-reverse.diff.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613-reverse.diff.html
benchexec/tablegenerator/test/expected/test.2015-03-03_1613-reverse.table.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613-reverse.table.html
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.diff.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.diff.html
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.results.predicateAnalysis.all-columns.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.results.predicateAnalysis.all-columns.html
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.results.predicateAnalysis.correct-only.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.results.predicateAnalysis.correct-only.html
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.results.predicateAnalysis.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.results.predicateAnalysis.html
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.results.valueAnalysis.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.results.valueAnalysis.html
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.results.valueAnalysis.table.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.results.valueAnalysis.table.html
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.table.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.table.html
benchexec/tablegenerator/test/expected/union-table-duplicate-results.diff.csv
benchexec/tablegenerator/test/expected/union-table-duplicate-results.diff.html
benchexec/tablegenerator/test/expected/union-table-duplicate-results.table.csv
benchexec/tablegenerator/test/expected/union-table-duplicate-results.table.html
benchexec/tablegenerator/test/expected/union-table-mixed.diff.csv
benchexec/tablegenerator/test/expected/union-table-mixed.diff.html
benchexec/tablegenerator/test/expected/union-table-mixed.table.csv
benchexec/tablegenerator/test/expected/union-table-mixed.table.html
benchexec/tablegenerator/test/expected/union-table-multiple-results.diff.csv
benchexec/tablegenerator/test/expected/union-table-multiple-results.diff.html
benchexec/tablegenerator/test/expected/union-table-multiple-results.table.csv
benchexec/tablegenerator/test/expected/union-table-multiple-results.table.html
benchexec/tablegenerator/test/expected/union-table-predicateAnalysis.table.csv
benchexec/tablegenerator/test/expected/union-table-predicateAnalysis.table.html
benchexec/tablegenerator/test/expected/union-table-valueAnalysis.table.csv
benchexec/tablegenerator/test/expected/union-table-valueAnalysis.table.html
benchexec/tablegenerator/test/expected/union-table.diff.csv
benchexec/tablegenerator/test/expected/union-table.diff.html
benchexec/tablegenerator/test/expected/union-table.table.csv
benchexec/tablegenerator/test/expected/union-table.table.html
benchexec/tablegenerator/test/results/integration-predicateAnalysis.2015-10-20_1355.results.xml.bz2
benchexec/tablegenerator/test/results/integration-predicateAnalysis.2015-10-22_1113.results.xml.bz2
benchexec/tablegenerator/test/results/integration-predicateAnalysis.2015-10-23_1348.results.xml.bz2
benchexec/tablegenerator/test/results/mathsat.2015-05-27_1004.results.xml
benchexec/tablegenerator/test/results/smtinterpol.2015-05-27_1004.results.xml
benchexec/tablegenerator/test/results/test-error.2015-03-03_1613.results.predicateAnalysis.xml
benchexec/tablegenerator/test/results/test.2015-03-03_1613.logfiles.zip
benchexec/tablegenerator/test/results/test.2015-03-03_1613.results.predicateAnalysis-legacy.xml
benchexec/tablegenerator/test/results/test.2015-03-03_1613.results.predicateAnalysis.0.xml
benchexec/tablegenerator/test/results/test.2015-03-03_1613.results.predicateAnalysis.1.xml
benchexec/tablegenerator/test/results/test.2015-03-03_1613.results.predicateAnalysis.2.xml
benchexec/tablegenerator/test/results/test.2015-03-03_1613.results.predicateAnalysis.xml
benchexec/tablegenerator/test/results/test.2015-03-03_1613.results.predicateAnalysis.xml.bz2
benchexec/tablegenerator/test/results/test.2015-03-03_1613.results.predicateAnalysis.xml.gz
benchexec/tablegenerator/test/results/test.2015-03-03_1613.results.valueAnalysis.0.xml
benchexec/tablegenerator/test/results/test.2015-03-03_1613.results.valueAnalysis.1.xml
benchexec/tablegenerator/test/results/test.2015-03-03_1613.results.valueAnalysis.xml
benchexec/tablegenerator/test/results/test.2015-03-03_1815.results.predicateAnalysis.xml
benchexec/tablegenerator/test/results/test.2015-03-03_1815.results.valueAnalysis.xml
benchexec/tablegenerator/test/results/test.2015-03-03_1815.logfiles/predicateAnalysis.builtin_expect_true-unreach-label.c.log
benchexec/tablegenerator/test/results/test.2015-03-03_1815.logfiles/predicateAnalysis.compoundLiteral_true-unreach-label.c.log
benchexec/tablegenerator/test/results/test.2015-03-03_1815.logfiles/predicateAnalysis.example.c.log
benchexec/tablegenerator/test/results/test.2015-03-03_1815.logfiles/predicateAnalysis.implicitunsignedconversion_false-unreach-label.i.log
benchexec/tablegenerator/test/results/test.2015-03-03_1815.logfiles/predicateAnalysis.switch_test_default_fallthrough_false-unreach-label.c.log
benchexec/tablegenerator/test/results/test.2015-03-03_1815.logfiles/valueAnalysis.compoundLiteral_true-unreach-label.c.log
benchexec/tablegenerator/test/results/test.2015-03-03_1815.logfiles/valueAnalysis.example.c.log
benchexec/tablegenerator/test/results/test.2015-03-03_1815.logfiles/valueAnalysis.implicitunsignedconversion_false-unreach-label.i.log
benchexec/tablegenerator/test/results/test.2015-03-03_1815.logfiles/valueAnalysis.switch_test_default_fallthrough_false-unreach-label.c.log
benchexec/tools/__init__.py
benchexec/tools/acsar.py
benchexec/tools/aprove.py
benchexec/tools/blast.py
benchexec/tools/calculatepi.py
benchexec/tools/cascade.py
benchexec/tools/cbmc.py
benchexec/tools/ceagle.py
benchexec/tools/ceagle_absref.py
benchexec/tools/civl.py
benchexec/tools/cpachecker.py
benchexec/tools/cseq.py
benchexec/tools/divine.py
benchexec/tools/ecav.py
benchexec/tools/esbmc.py
benchexec/tools/esbmcdepthk.py
benchexec/tools/evolcheck.py
benchexec/tools/false.py
benchexec/tools/feaver.py
benchexec/tools/forest.py
benchexec/tools/forester.py
benchexec/tools/hiprec.py
benchexec/tools/hiptnt.py
benchexec/tools/impara.py
benchexec/tools/klee.py
benchexec/tools/lazycseq.py
benchexec/tools/lctd.py
benchexec/tools/llbmc.py
benchexec/tools/map2check.py
benchexec/tools/mathsat.py
benchexec/tools/mucseq.py
benchexec/tools/pacman.py
benchexec/tools/pagai.py
benchexec/tools/predatorhp.py
benchexec/tools/rand.py
benchexec/tools/satabs.py
benchexec/tools/seahorn.py
benchexec/tools/skink.py
benchexec/tools/smack.py
benchexec/tools/smtinterpol.py
benchexec/tools/smtlib2.py
benchexec/tools/symbiotic3.py
benchexec/tools/symdivine.py
benchexec/tools/template.py
benchexec/tools/threader.py
benchexec/tools/true.py
benchexec/tools/two_ls.py
benchexec/tools/ufo.py
benchexec/tools/ulcseq.py
benchexec/tools/ultimate.py
benchexec/tools/ultimateautomizer.py
benchexec/tools/ultimatekojak.py
benchexec/tools/vvt.py
benchexec/tools/wolverine.py
bin/benchexec
bin/runexec
bin/table-generator
contrib/mergeBenchmarkSets.py
contrib/serveFileFromZIP.php
contrib/plots/README.md
contrib/plots/generate-plots.sh
contrib/plots/quantile-generator.py
contrib/plots/quantile-score.gp
contrib/plots/quantile-split.gp
contrib/plots/quantile.gp
contrib/plots/scatter-counted.gp
contrib/plots/scatter.gp
contrib/plots/scatter.xml
doc/DEVELOPMENT.md
doc/INDEX.md
doc/INSTALL.md
doc/benchexec.md
doc/benchmark-example-calculatepi.xml
doc/benchmark-example-cbmc.xml
doc/benchmark-example-rand.xml
doc/benchmark.dtd
doc/benchmark.xml
doc/resources.md
doc/result.dtd
doc/run-results.md
doc/runexec.md
doc/separate-user.md
doc/table-generator-example.xml
doc/table-generator.md
doc/table-generator.xml
doc/table.dtd
doc/tool-integration.md
doc/properties/INDEX.md
doc/properties/observer-automaton.prp
doc/properties/sat.prp
doc/properties/termination.prp
doc/properties/unreach-call.prp
doc/properties/unreach-label.prp
doc/properties/valid-memsafety.prp