sosy-lab · lembergerth · Nov 3, 2020 · Nov 3, 2020 · Nov 3, 2020 · Nov 3, 2020
diff --git a/c/ReachSafety-Combinations.cfg b/c/ReachSafety-Combinations.cfg
@@ -0,0 +1,3 @@
+Description: Contains programs that are combinations of other programs. These programs contain program parts independent of each other and may require different techniques to be successfully verified.
+Architecture: 32 bit
+
diff --git a/c/ReachSafety-Combinations.set b/c/ReachSafety-Combinations.set
@@ -0,0 +1 @@
+combinations/*.yml
diff --git a/c/check.py b/c/check.py
@@ -119,6 +119,7 @@
     ("eca-rers2018", "unexpected file RERS_18_solutions_dot_petri.csv"),
     ("eca-rers2018", "unexpected file createYml.py"),
     ("nla-digbench-scaling", "unexpected file generate.py"),
+    ("combinations", "unexpected file generate-tasks.py"),
 
     # historical
     ("ntdrivers", "missing readme"),

diff --git a/c/combinations/Makefile b/c/combinations/Makefile
@@ -0,0 +1,10 @@
+LEVEL := ../
+
+CLANG_WARNINGS := \
+	-Wno-sometimes-uninitialized \
+	-Wno-uninitialized \
+
+include $(LEVEL)/Makefile.config
+
+tasks:
+	./generate-tasks.py --benchmark-dir ../../ --output-dir ./
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		Description: Contains programs that are combinations of other programs. These programs contain program parts independent of each other and may require different techniques to be successfully verified.
		Architecture: 32 bit