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/util.py
benchexec/tablegenerator/template.csv
benchexec/tablegenerator/template.html
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.xml
benchexec/tablegenerator/test/smt.xml
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.table.csv
benchexec/tablegenerator/test/expected/multi-table-with-columns.diff.csv
benchexec/tablegenerator/test/expected/multi-table-with-columns.table.csv
benchexec/tablegenerator/test/expected/multi-table-with-wildcards.diff.csv
benchexec/tablegenerator/test/expected/multi-table-with-wildcards.table.csv
benchexec/tablegenerator/test/expected/multi-table.diff.csv
benchexec/tablegenerator/test/expected/multi-table.table.csv
benchexec/tablegenerator/test/expected/predicateAnalysis-reverse.table.csv
benchexec/tablegenerator/test/expected/predicateAnalysis.table.csv
benchexec/tablegenerator/test/expected/simple-table-with-columns.table.csv
benchexec/tablegenerator/test/expected/smt.diff.csv
benchexec/tablegenerator/test/expected/smt.table.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613-common.diff.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613-common.table.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613-correct-only.diff.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613-correct-only.table.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613-reverse.diff.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613-reverse.table.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.diff.csv
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.correct-only.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.results.predicateAnalysis.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.results.valueAnalysis.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.results.valueAnalysis.table.csv
benchexec/tablegenerator/test/expected/test.2015-03-03_1613.table.csv
benchexec/tablegenerator/test/expected/union-table-duplicate-results.diff.csv
benchexec/tablegenerator/test/expected/union-table-duplicate-results.table.csv
benchexec/tablegenerator/test/expected/union-table-mixed.diff.csv
benchexec/tablegenerator/test/expected/union-table-mixed.table.csv
benchexec/tablegenerator/test/expected/union-table-multiple-results.diff.csv
benchexec/tablegenerator/test/expected/union-table-multiple-results.table.csv
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.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_1613.logfiles/predicateAnalysis.builtin_expect_true-unreach-label.c.log
benchexec/tablegenerator/test/results/test.2015-03-03_1613.logfiles/predicateAnalysis.compoundLiteral_true-unreach-label.c.log
benchexec/tablegenerator/test/results/test.2015-03-03_1613.logfiles/predicateAnalysis.example.c.log
benchexec/tablegenerator/test/results/test.2015-03-03_1613.logfiles/predicateAnalysis.implicitunsignedconversion_false-unreach-label.i.log
benchexec/tablegenerator/test/results/test.2015-03-03_1613.logfiles/predicateAnalysis.switch_test_default_fallthrough_false-unreach-label.c.log
benchexec/tablegenerator/test/results/test.2015-03-03_1613.logfiles/valueAnalysis.compoundLiteral_true-unreach-label.c.log
benchexec/tablegenerator/test/results/test.2015-03-03_1613.logfiles/valueAnalysis.example.c.log
benchexec/tablegenerator/test/results/test.2015-03-03_1613.logfiles/valueAnalysis.implicitunsignedconversion_false-unreach-label.i.log
benchexec/tablegenerator/test/results/test.2015-03-03_1613.logfiles/valueAnalysis.switch_test_default_fallthrough_false-unreach-label.c.log
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
bin/benchexec
bin/runexec
bin/table-generator
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/result.dtd
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