Add fspgroup insertion test programs

targets/wasm-module/test-empty.cpp

@@ -0,0 +1,18 @@
+#include "../lib.h"
+
+extern "C" EXPORT("wasm_module") int wasm_module(void) {
+  int x = 0;
+
+  fail_start_trace();
+  fail_stop_trace();
+
+  if (x == 0) {
+    PRINT("result correct.\n");
+    fail_marker_positive();
+    return 0;
+  } else {
+    PRINT("result incorrect.\n");
+    fail_marker_negative();
+    return 1;
+  }
+}

targets/wasm-module/test-linear.cpp

@@ -0,0 +1,21 @@
+#include "../lib.h"
+
+extern "C" EXPORT("wasm_module") int wasm_module(void) {
+  int x = 2;
+
+  fail_start_trace();
+
+  x = x + 40;
+
+  fail_stop_trace();
+
+  if (x == 42) {
+    PRINT("result correct.\n");
+    fail_marker_positive();
+    return 0;
+  } else {
+    PRINT("result incorrect.\n");
+    fail_marker_negative();
+    return 1;
+  }
+}

targets/wasm-module/test-loop.cpp

@@ -0,0 +1,24 @@
+#include "../lib.h"
+
+extern "C" EXPORT("wasm_module") int wasm_module(void) {
+  int x = 2;
+  int i = 0;
+
+  fail_start_trace();
+
+  for (; i < 2; ++i) {
+    x = x + 20;
+  }
+
+  fail_stop_trace();
+
+  if (x == 42) {
+    PRINT("result correct.\n");
+    fail_marker_positive();
+    return 0;
+  } else {
+    PRINT("result incorrect.\n");
+    fail_marker_negative();
+    return 1;
+  }
+}