Skip to content

Add BenchExec poster

Philipp Wendler requested to merge PhilippWendler/fm-tools:benchexec-poster into main

BenchExec is used as benchmarking framework for both SV-COMP and Test-Comp.

I named it like the existing posters even though of course there exists no entry in the FM-Tools tools data for BenchExec as it is not a competition participant.

Merge request reports