We have a new suspension point in the STM tests, should fix this even…

…tually Signed-off-by: Stefan Marr <git@stefan-marr.de>
smarr · Jun 28, 2019 · 3c5ae21 · 3c5ae21
1 parent 43ad14a
commit 3c5ae21
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/tools/kompos/tests/stm.ts b/tools/kompos/tests/stm.ts
@@ -58,6 +58,19 @@ const steppingTests: Test[] = [
           activity: "thread2"
         }]
       },
+      {
+        // TODO: this is a point were truffle now stops,
+        // but we should try to get rid of it.
+        // not entirely sure how to solve this, so, included for now
+        type: ST.STEP_OVER,
+        activity: "main",
+        stops: [{
+          line: 43,
+          methodName: "STM>>#main:",
+          stackHeight: 6,
+          activity: "main"
+        }]
+      },
       {
         type: ST.STEP_OVER,
         activity: "main",