contrib

This directory contains additional tools, materials, and extensions that are not part of BenchExec itself but may be useful for users of BenchExec.

Content:

• aws-benchmark.py: BenchExec extension for executing benchmark runs on Amazon's AWS service
• create_yaml_files.py: Script for creating task-definition files from old input files that have expected verdicts encoded in the file name
• mergeBenchmarkSets.py: Script for adding information about witness validation to result files as used in SV-COMP
• p4-benchmark.py: BenchExec extension for P4 programs for programmable switches
• plots: Scripts and examples for generating plots from BenchExec results using Gnuplot or PGFPlots for LaTeX
• serveFileFromZIP.php: Script for letting a web server serve files from a ZIP archive as if the archive would have been expanded. This is useful for hosting HTML tables with results and links to log files in ZIP archives.
• vcloud-benchmark.py: BenchExec extension for executing benchmark runs on the VerifierCloud service

Further contributions are welcome!