GobExec

GobExec – because BenchExec is not enough

Installing

To ensure that you have installed everything correctly, run test.py within the GobExec directory

 python3 test.py

The generated output file GobExec/out.html can be viewed via your browser of choice

Name		Name	Last commit message	Last commit date
Latest commit History 144 Commits
gobexec		gobexec
.gitignore		.gitignore
README.md		README.md
pyproject.toml		pyproject.toml
requirements.txt		requirements.txt
setup.cfg		setup.cfg
test.py		test.py
update_bench_concrat.py		update_bench_concrat.py
update_bench_incremental.py		update_bench_incremental.py
update_bench_traces.py		update_bench_traces.py
update_bench_traces_rel.py		update_bench_traces_rel.py
update_bench_traces_rel_assert.py		update_bench_traces_rel_assert.py
update_bench_traces_rel_ratcop.py		update_bench_traces_rel_ratcop.py
update_bench_traces_rel_toy.py		update_bench_traces_rel_toy.py
update_bench_traces_rel_watts.py		update_bench_traces_rel_watts.py
update_bench_traces_rel_yaml.py		update_bench_traces_rel_yaml.py