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

Commit c0fbe35

Browse files
committed
Add benchmark tasks combined from systemc/pc_sfifo and systemc/token_ring
Used in 'Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger: Difference Verification with Conditions, SEFM20'
1 parent 5d491ef commit c0fbe35

File tree

222 files changed

+191385
-1
lines changed

Some content is hidden

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

222 files changed

+191385
-1
lines changed

c/check.py

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -119,6 +119,7 @@
119119
("eca-rers2018", "unexpected file RERS_18_solutions_dot_petri.csv"),
120120
("eca-rers2018", "unexpected file createYml.py"),
121121
("nla-digbench-scaling", "unexpected file generate.py"),
122+
("combinations", "unexpected file generate-tasks.py"),
122123

123124
# historical
124125
("ntdrivers", "missing readme"),

0 commit comments

Comments
 (0)