From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 27 Sep 2018 08:59:02 +0000 (+0200)
Subject: up
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=8c1c93ebb04482b5e4436cb993bf62256ca9b1b0;p=clean-tests.git

up
---

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