Skip to content
This repository was archived by the owner on Oct 3, 2021. It is now read-only.

Commit 718eb2d

Browse files
lembergerthlembergerth
committed
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'
1 parent 11bfaa8 commit 718eb2d

File tree

410 files changed

+2546855
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

410 files changed

+2546855
-0
lines changed

‎c/combinations/Problem05_label40+token_ring.01.cil-1.c‎

Lines changed: 11629 additions & 0 deletions
Large diffs are not rendered by default.

‎c/combinations/Problem05_label40+token_ring.01.cil-1.yml‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
format_version: '1.0'
2+
3+
input_files: 'Problem05_label40+token_ring.01.cil-1.c'
4+
5+
properties:
6+
- property_file: ../properties/unreach-call.prp
7+
expected_verdict: False

0 commit comments

Comments
 (0)