From 8c1c93ebb04482b5e4436cb993bf62256ca9b1b0 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 27 Sep 2018 10:59:02 +0200
Subject: [PATCH] up

---
 infdomain/test.icl     | 16 ++++++++++++++++
 json-bigbytes/test.icl |  5 +++++
 2 files changed, 21 insertions(+)
 create mode 100644 infdomain/test.icl
 create mode 100644 json-bigbytes/test.icl

diff --git a/infdomain/test.icl b/infdomain/test.icl
new file mode 100644
index 0000000..efa069c
--- /dev/null
+++ b/infdomain/test.icl
@@ -0,0 +1,16 @@
+module test
+
+import StdEnv
+
+import Data.GenFDomain
+
+:: T = S T | Z
+
+derive bimap []
+derive gFDomain T
+
+Start = hd [() \\ _ <- dom]
+
+dom :: [T]
+dom = gFDomain{|*|}
+
diff --git a/json-bigbytes/test.icl b/json-bigbytes/test.icl
new file mode 100644
index 0000000..ccc92d7
--- /dev/null
+++ b/json-bigbytes/test.icl
@@ -0,0 +1,5 @@
+module test
+
+import StdArray, iTasks
+
+Start w = startEngine (viewInformation () [] (toString [0..255])) w
-- 
2.20.1