Add benchmark tasks combined from eca-rers2012/Problem05_label4* and …

…systemc/token_ring Used in 'Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger: Difference Verification with Conditions, SEFM20'
sosy-lab · Nov 3, 2020 · 4b37803 · 4b37803
1 parent 4911f5a
commit 4b37803
Show file tree

Hide file tree

Showing 410 changed files with 2,546,855 additions and 0 deletions.
diff --git a/c/combinations/Problem05_label40+token_ring.01.cil-1.c b/c/combinations/Problem05_label40+token_ring.01.cil-1.c
diff --git a/c/combinations/Problem05_label40+token_ring.01.cil-1.yml b/c/combinations/Problem05_label40+token_ring.01.cil-1.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'Problem05_label40+token_ring.01.cil-1.c'
+
+properties:
+  - property_file: ../properties/unreach-call.prp
+    expected_verdict: False