1 files changed, 8 insertions, 0 deletions
diff --git a/test/other/pbs.cpp.awk b/test/other/pbs.cpp.awk
new file mode 100644
index 0000000..3084ebd
--- /dev/null
+++ b/test/other/pbs.cpp.awk
@@ -0,0 +1,8 @@
+BEGIN { print "vector<int> pbs(int Q, int MAX_OPERATIONS) {" }
+{ 
+    sub(/\/\* requirement already fulfilled \*\//, "test(i)")
+    sub(/\/\/ simulation step/, "do_step(step);")
+    sub(/\/\/ reset simulation/, "reset();")
+}
+{ print }
+END { print "return high; }" }