From 1aa77193cc47907d9628ddc7d26c8ce1d92d75ed Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Tue, 27 Aug 2024 00:15:40 +0200
Subject: [PATCH] Tue 27 Aug 00:14:56 CEST 2024

---
 test/test-fail1.js | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 test/test-fail1.js

diff --git a/test/test-fail1.js b/test/test-fail1.js
new file mode 100644
index 0000000..b3e3f99
--- /dev/null
+++ b/test/test-fail1.js
@@ -0,0 +1,25 @@
+function foo() {
+  this.x=null;
+  this.act = {
+    a1:function () {
+      log('A')
+    },
+    a2:function ()  {
+      log('B')
+      this.x.push(1);
+    },
+    a3: function () {
+      log('C')
+      kill()
+    }
+  }
+  this.trans = {
+    a1:a2,
+    a2:a3
+  }
+  this.next=a1
+}
+compile(foo)
+config({verbose:1})
+create('foo',{});
+start()