CHANGELOG.md
LICENSE
MANIFEST.in
README.md
setup.cfg
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/cgroups.py
benchexec/check_cgroups.py
benchexec/dummy.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_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/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.xml
benchexec/tablegenerator/test/simple-table-with-columns.xml
benchexec/tablegenerator/test/simple-table.xml
benchexec/tablegenerator/test/smt.xml
benchexec/tablegenerator/test/union-table-duplicate-results.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/results/mathsat.2015-05-27_1004.results.xml
benchexec/tablegenerator/test/results/smtinterpol.2015-05-27_1004.results.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.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
doc/INDEX.md
doc/INSTALL.md
doc/benchexec.md
doc/benchmark-example-cbmc.xml
doc/benchmark-example-rand.xml
doc/benchmark-result.dtd
doc/benchmark.dtd
doc/benchmark.xml
doc/runexec.md
doc/table-generator-example.xml
doc/table-generator.dtd
doc/table-generator.md
doc/table-generator.xml
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