README for SV-COMP scripts

Author: peterschrammel

sv-comp/README.md

@@ -0,0 +1,17 @@
+# SV-COMP Configuration and Wrappers
+
+#### Build package
+
+`make`
+
+#### Wrapper script
+
+`cbmc`
+
+#### Benchexec tool script
+
+https://github.com/sosy-lab/benchexec/blob/master/benchexec/tools/cbmc.py
+
+#### Benchexec benchmark configuration
+
+https://github.com/sosy-lab/sv-comp/blob/master/benchmark-defs/cbmc.xml