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/baseexecutor.py
benchexec/benchexec.py
benchexec/cgroups.py
benchexec/check_cgroups.py
benchexec/container.py
benchexec/containerexecutor.py
benchexec/filehierarchylimit.py
benchexec/filewriter.py
benchexec/intel_cpu_energy.py
benchexec/libc.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_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/template.csv
benchexec/tablegenerator/template.html
benchexec/tablegenerator/test_integration/__init__.py
benchexec/tablegenerator/test_integration/multi-table-with-columns.xml
benchexec/tablegenerator/test_integration/multi-table-with-diff-over-column.xml
benchexec/tablegenerator/test_integration/multi-table-with-validation.xml
benchexec/tablegenerator/test_integration/multi-table-with-wildcards.xml
benchexec/tablegenerator/test_integration/multi-table.xml
benchexec/tablegenerator/test_integration/simple-table-with-columns.xml
benchexec/tablegenerator/test_integration/simple-table-with-links.xml
benchexec/tablegenerator/test_integration/simple-table-with-numberOfDigits.xml
benchexec/tablegenerator/test_integration/simple-table-with-scaling.xml
benchexec/tablegenerator/test_integration/simple-table-with-validation-all-confirmed.xml
benchexec/tablegenerator/test_integration/simple-table-with-validation-unconfirmed.xml
benchexec/tablegenerator/test_integration/simple-table.xml
benchexec/tablegenerator/test_integration/smt.xml
benchexec/tablegenerator/test_integration/table-only-columns.xml
benchexec/tablegenerator/test_integration/union-table-duplicate-results.xml
benchexec/tablegenerator/test_integration/union-table-mixed.xml
benchexec/tablegenerator/test_integration/union-table-multiple-results.xml
benchexec/tablegenerator/test_integration/union-table-predicateAnalysis.xml
benchexec/tablegenerator/test_integration/union-table-valueAnalysis.xml
benchexec/tablegenerator/test_integration/union-table.xml
benchexec/tablegenerator/test_integration/expected/big-table.diff.csv
benchexec/tablegenerator/test_integration/expected/big-table.diff.html
benchexec/tablegenerator/test_integration/expected/big-table.table.csv
benchexec/tablegenerator/test_integration/expected/big-table.table.html
benchexec/tablegenerator/test_integration/expected/cbmc.2015-12-11_1211.results.Simple.csv
benchexec/tablegenerator/test_integration/expected/cbmc.2015-12-11_1211.results.Simple.html
benchexec/tablegenerator/test_integration/expected/integration-predicateAnalysis.2015-10-20_1355.all-columns.html
benchexec/tablegenerator/test_integration/expected/multi-table-with-columns.diff.csv
benchexec/tablegenerator/test_integration/expected/multi-table-with-columns.diff.html
benchexec/tablegenerator/test_integration/expected/multi-table-with-columns.table.csv
benchexec/tablegenerator/test_integration/expected/multi-table-with-columns.table.html
benchexec/tablegenerator/test_integration/expected/multi-table-with-diff-over-column.diff.csv
benchexec/tablegenerator/test_integration/expected/multi-table-with-diff-over-column.diff.html
benchexec/tablegenerator/test_integration/expected/multi-table-with-diff-over-column.table.csv
benchexec/tablegenerator/test_integration/expected/multi-table-with-diff-over-column.table.html
benchexec/tablegenerator/test_integration/expected/multi-table-with-validation.diff.csv
benchexec/tablegenerator/test_integration/expected/multi-table-with-validation.diff.html
benchexec/tablegenerator/test_integration/expected/multi-table-with-validation.table.csv
benchexec/tablegenerator/test_integration/expected/multi-table-with-validation.table.html
benchexec/tablegenerator/test_integration/expected/multi-table-with-wildcards.diff.csv
benchexec/tablegenerator/test_integration/expected/multi-table-with-wildcards.diff.html
benchexec/tablegenerator/test_integration/expected/multi-table-with-wildcards.table.csv
benchexec/tablegenerator/test_integration/expected/multi-table-with-wildcards.table.html
benchexec/tablegenerator/test_integration/expected/multi-table.diff.csv
benchexec/tablegenerator/test_integration/expected/multi-table.diff.html
benchexec/tablegenerator/test_integration/expected/multi-table.table.csv
benchexec/tablegenerator/test_integration/expected/multi-table.table.html
benchexec/tablegenerator/test_integration/expected/predicateAnalysis-reverse.table.csv
benchexec/tablegenerator/test_integration/expected/predicateAnalysis-reverse.table.html
benchexec/tablegenerator/test_integration/expected/predicateAnalysis.table.csv
benchexec/tablegenerator/test_integration/expected/predicateAnalysis.table.html
benchexec/tablegenerator/test_integration/expected/simple-table-with-columns.table.csv
benchexec/tablegenerator/test_integration/expected/simple-table-with-columns.table.html
benchexec/tablegenerator/test_integration/expected/simple-table-with-links.table.csv
benchexec/tablegenerator/test_integration/expected/simple-table-with-links.table.html
benchexec/tablegenerator/test_integration/expected/simple-table-with-numberOfDigits.table.csv
benchexec/tablegenerator/test_integration/expected/simple-table-with-numberOfDigits.table.html
benchexec/tablegenerator/test_integration/expected/simple-table-with-scaling.table.csv
benchexec/tablegenerator/test_integration/expected/simple-table-with-scaling.table.html
benchexec/tablegenerator/test_integration/expected/simple-table-with-validation-all-confirmed.table.csv
benchexec/tablegenerator/test_integration/expected/simple-table-with-validation-all-confirmed.table.html
benchexec/tablegenerator/test_integration/expected/simple-table-with-validation-unconfirmed.table.csv
benchexec/tablegenerator/test_integration/expected/simple-table-with-validation-unconfirmed.table.html
benchexec/tablegenerator/test_integration/expected/smt.diff.csv
benchexec/tablegenerator/test_integration/expected/smt.diff.html
benchexec/tablegenerator/test_integration/expected/smt.table.csv
benchexec/tablegenerator/test_integration/expected/smt.table.html
benchexec/tablegenerator/test_integration/expected/test-error.2015-03-03_1613.diff.csv
benchexec/tablegenerator/test_integration/expected/test-error.2015-03-03_1613.diff.html
benchexec/tablegenerator/test_integration/expected/test-error.2015-03-03_1613.table.csv
benchexec/tablegenerator/test_integration/expected/test-error.2015-03-03_1613.table.html
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613-common.diff.csv
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613-common.diff.html
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613-common.table.csv
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613-common.table.html
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613-correct-only.diff.csv
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613-correct-only.diff.html
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613-correct-only.table.csv
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613-correct-only.table.html
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613-reverse.diff.csv
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613-reverse.diff.html
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613-reverse.table.csv
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613-reverse.table.html
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613.diff.csv
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613.diff.html
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613.results.predicateAnalysis.all-columns.csv
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613.results.predicateAnalysis.all-columns.html
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613.results.predicateAnalysis.correct-only.csv
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613.results.predicateAnalysis.correct-only.html
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613.results.predicateAnalysis.csv
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613.results.predicateAnalysis.html
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613.results.valueAnalysis.csv
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613.results.valueAnalysis.html
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613.results.valueAnalysis.table.csv
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613.results.valueAnalysis.table.html
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613.table.csv
benchexec/tablegenerator/test_integration/expected/test.2015-03-03_1613.table.html
benchexec/tablegenerator/test_integration/expected/union-table-duplicate-results.diff.csv
benchexec/tablegenerator/test_integration/expected/union-table-duplicate-results.diff.html
benchexec/tablegenerator/test_integration/expected/union-table-duplicate-results.table.csv
benchexec/tablegenerator/test_integration/expected/union-table-duplicate-results.table.html
benchexec/tablegenerator/test_integration/expected/union-table-mixed.diff.csv
benchexec/tablegenerator/test_integration/expected/union-table-mixed.diff.html
benchexec/tablegenerator/test_integration/expected/union-table-mixed.table.csv
benchexec/tablegenerator/test_integration/expected/union-table-mixed.table.html
benchexec/tablegenerator/test_integration/expected/union-table-multiple-results.diff.csv
benchexec/tablegenerator/test_integration/expected/union-table-multiple-results.diff.html
benchexec/tablegenerator/test_integration/expected/union-table-multiple-results.table.csv
benchexec/tablegenerator/test_integration/expected/union-table-multiple-results.table.html
benchexec/tablegenerator/test_integration/expected/union-table-predicateAnalysis.table.csv
benchexec/tablegenerator/test_integration/expected/union-table-predicateAnalysis.table.html
benchexec/tablegenerator/test_integration/expected/union-table-valueAnalysis.table.csv
benchexec/tablegenerator/test_integration/expected/union-table-valueAnalysis.table.html
benchexec/tablegenerator/test_integration/expected/union-table.diff.csv
benchexec/tablegenerator/test_integration/expected/union-table.diff.html
benchexec/tablegenerator/test_integration/expected/union-table.table.csv
benchexec/tablegenerator/test_integration/expected/union-table.table.html
benchexec/tablegenerator/test_integration/results/integration-cpa-kind.2017-01-10_2204.results.merged.xml
benchexec/tablegenerator/test_integration/results/integration-cpa-seq.2017-01-11_1118.results.merged.xml
benchexec/tablegenerator/test_integration/results/integration-predicateAnalysis.2015-10-20_1355.results.xml.bz2
benchexec/tablegenerator/test_integration/results/integration-predicateAnalysis.2015-10-22_1113.results.xml.bz2
benchexec/tablegenerator/test_integration/results/integration-predicateAnalysis.2015-10-23_1348.results.xml.bz2
benchexec/tablegenerator/test_integration/results/mathsat.2015-05-27_1004.results.xml
benchexec/tablegenerator/test_integration/results/smtinterpol.2015-05-27_1004.results.xml
benchexec/tablegenerator/test_integration/results/test-error.2015-03-03_1613.results.predicateAnalysis.xml
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1613.logfiles.zip
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1613.results.predicateAnalysis-legacy.xml
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1613.results.predicateAnalysis-logfile-links.xml
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1613.results.predicateAnalysis.0.xml
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1613.results.predicateAnalysis.1.xml
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1613.results.predicateAnalysis.2.xml
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1613.results.predicateAnalysis.xml
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1613.results.predicateAnalysis.xml.bz2
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1613.results.predicateAnalysis.xml.gz
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1613.results.valueAnalysis.0.xml
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1613.results.valueAnalysis.1.xml
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1613.results.valueAnalysis.xml
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1815.results.predicateAnalysis.xml
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1815.results.valueAnalysis.xml
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1815.logfiles/predicateAnalysis.builtin_expect_true-unreach-label.c.log
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1815.logfiles/predicateAnalysis.compoundLiteral_true-unreach-label.c.log
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1815.logfiles/predicateAnalysis.example.c.log
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1815.logfiles/predicateAnalysis.implicitunsignedconversion_false-unreach-label.i.log
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1815.logfiles/predicateAnalysis.switch_test_default_fallthrough_false-unreach-label.c.log
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1815.logfiles/valueAnalysis.compoundLiteral_true-unreach-label.c.log
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1815.logfiles/valueAnalysis.example.c.log
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1815.logfiles/valueAnalysis.implicitunsignedconversion_false-unreach-label.i.log
benchexec/tablegenerator/test_integration/results/test.2015-03-03_1815.logfiles/valueAnalysis.switch_test_default_fallthrough_false-unreach-label.c.log
bin/benchexec
bin/containerexec
bin/runexec
bin/table-generator
contrib/mergeBenchmarkSets.py
contrib/serveFileFromZIP.php
contrib/statistics-tex.py
contrib/plots/.gitignore
contrib/plots/README.md
contrib/plots/example-tool1.results.xml.bz2
contrib/plots/example-tool2.results.xml.bz2
contrib/plots/generate-plots.sh
contrib/plots/quantile-generator.py
contrib/plots/quantile-score.gp
contrib/plots/quantile-score.png
contrib/plots/quantile-score.tex
contrib/plots/quantile-split.gp
contrib/plots/quantile.gp
contrib/plots/quantile.png
contrib/plots/quantile.tex
contrib/plots/scatter-counted.gp
contrib/plots/scatter-counted.png
contrib/plots/scatter-counted.tex
contrib/plots/scatter.gp
contrib/plots/scatter.png
contrib/plots/scatter.tex
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-example-true.xml
doc/benchmark.dtd
doc/benchmark.xml
doc/benchmarking.md
doc/container.md
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/no-deadlock.prp
doc/properties/no-overflow.prp
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