add smoke tests

anoma · Oct 22, 2024 · 4a66cf2 · 4a66cf2
1 parent 67e4567
commit 4a66cf2
Show file tree

Hide file tree

Showing 2 changed files with 33 additions and 0 deletions.
diff --git a/tests/Anoma/Compilation/positive/test001-args.debug.nockma b/tests/Anoma/Compilation/positive/test001-args.debug.nockma
@@ -0,0 +1 @@
+[1 100]
diff --git a/tests/smoke/Commands/compile.smoke.yaml b/tests/smoke/Commands/compile.smoke.yaml
@@ -144,6 +144,38 @@ tests:
     stdout: ""
     exit-status: 0
 
+  - name: target-anoma-run-debug
+    command:
+      shell:
+        - bash
+      script: |
+        temp=$(mktemp -d)
+        trap 'rm -rf -- "$temp"' EXIT
+        testdir=$PWD/tests/Anoma/Compilation/positive
+        cd $temp
+        juvix --log-level error compile anoma $testdir/test001.juvix --debug
+        [ -f test001.debug.nockma ]
+        juvix dev nockma run test001.debug.nockma --args $testdir/test001-args.debug.nockma
+    stdout: |
+      106
+    exit-status: 0
+
+  - name: target-anoma-run
+    command:
+      shell:
+        - bash
+      script: |
+        temp=$(mktemp -d)
+        trap 'rm -rf -- "$temp"' EXIT
+        testdir=$PWD/tests/Anoma/Compilation/positive
+        cd $temp
+        juvix --log-level error compile anoma $testdir/test001.juvix
+        [ -f test001.nockma ]
+        juvix dev nockma run test001.nockma --args $testdir/test001-args.debug.nockma
+    stdout: |
+      106
+    exit-status: 0
+
   - name: target-anoma
     command:
       shell: