Add BenchExec for traces pthread programs

sim642 · sim642 · commit d0d5dfccf7d9 · 2022-12-27T12:44:45.000Z
diff --git a/Pthread.set b/Pthread.set
@@ -0,0 +1 @@
+pthread/*_comb.yml
diff --git a/pthread/aget_comb.yml b/pthread/aget_comb.yml
@@ -0,0 +1,3 @@
+format_version: '2.0'
+
+input_files: 'aget_comb.c'
diff --git a/pthread/ctrace_comb.yml b/pthread/ctrace_comb.yml
@@ -0,0 +1,3 @@
+format_version: '2.0'
+
+input_files: 'ctrace_comb.c'
diff --git a/pthread/knot_comb.yml b/pthread/knot_comb.yml
@@ -0,0 +1,3 @@
+format_version: '2.0'
+
+input_files: 'knot_comb.c'
diff --git a/pthread/pfscan_comb.yml b/pthread/pfscan_comb.yml
@@ -0,0 +1,5 @@
+format_version: '2.0'
+
+input_files:
+  - 'pfscan_comb.c'
+  - 'pfscan_ftw.c'
diff --git a/pthread/smtprc_comb.yml b/pthread/smtprc_comb.yml
@@ -0,0 +1,3 @@
+format_version: '2.0'
+
+input_files: 'smtprc_comb.c'
diff --git a/pthread/ypbind_comb.yml b/pthread/ypbind_comb.yml
@@ -0,0 +1,3 @@
+format_version: '2.0'
+
+input_files: 'ypbind_comb.c'
