Initial commit

peterschrammel · peterschrammel · commit 1c4e91f63fa9 · 2016-11-30T10:59:04.000Z
diff --git a/README.md b/README.md
@@ -0,0 +1,2 @@
+# cprover-sv-comp
+CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+# cprover-sv-comp`
	`2`	`+CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)`