From 83ffbbf7ec12af23bd8cccc05cd415bfd71481f9 Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Tue, 27 Aug 2024 00:16:11 +0200
Subject: [PATCH] Tue 27 Aug 00:14:56 CEST 2024

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

diff --git a/test/test-code1.js b/test/test-code1.js
new file mode 100644
index 0000000..e7b5804
--- /dev/null
+++ b/test/test-code1.js
@@ -0,0 +1,16 @@
+function foo () {
+  this.data=null;
+  this.goto=null;
+  this.act = {
+    main: function () { log(this.data===null)},
+    end: function () { kill()},
+  }
+  this.trans = {
+    main:end
+  }
+  this.next=main
+}
+compile(foo,{verbose:1})
+var ag = create('foo');
+print(agent(ag))
+start()