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

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

diff --git a/test/test-invalidcall.js b/test/test-invalidcall.js
new file mode 100644
index 0000000..f24f912
--- /dev/null
+++ b/test/test-invalidcall.js
@@ -0,0 +1,31 @@
+function sample (p) {
+  this.act = {
+    init : function () {
+      log('init')
+    },
+    fail : function () {
+      log('should fail')
+      var x=without([1,2],[1]);
+      log(x)
+    },
+    end : function () {
+      log('end')
+      kill()
+    },
+  }
+  this.trans = {
+    init:fail,
+    fail:function () {
+      return end
+    }
+  }
+  this.next='init';
+}
+verbose(1)
+// remove API call
+delete Aios.aios1.without;
+delete Aios.aios2.without;
+
+compile(sample);
+create('sample',{})
+start()