summaryrefslogtreecommitdiff
path: root/small-tests/out.tnt
diff options
context:
space:
mode:
Diffstat (limited to 'small-tests/out.tnt')
-rw-r--r--small-tests/out.tnt1
1 files changed, 1 insertions, 0 deletions
diff --git a/small-tests/out.tnt b/small-tests/out.tnt
new file mode 100644
index 0000000..9f77b4b
--- /dev/null
+++ b/small-tests/out.tnt
@@ -0,0 +1 @@
+{{9 test.tnsl 0 0} [{{10 block 0 0} [{{10 block 0 0} [{{11 ; 0 0} []} {{11 ; 0 0} []}]} {{10 block 0 0} [{{11 ; 0 0} []} {{11 ; 0 0} []}]} {{11 ; 0 0} []} {{11 ; 0 0} []}]} {{11 ; 0 0} []}]}