fix smoke tests

anoma · Dec 21, 2023 · 768e2fb · 768e2fb
1 parent 2ec39b9
commit 768e2fb
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 28 deletions.
diff --git a/tests/smoke/Commands/compile.smoke.yaml b/tests/smoke/Commands/compile.smoke.yaml
@@ -33,7 +33,7 @@ tests:
         cd ./examples/milestone/
         cp -r HelloWorld "$temp"
         cd "$temp/HelloWorld"
-        sed -i 's/just \"HelloWorld.juvix\"/nothing/' Package.juvix
+        sed -i '' 's/just \"HelloWorld.juvix\"/nothing/' Package.juvix
         juvix compile
     exit-status: 1
     stdout: |

diff --git a/tests/smoke/Commands/dev/core.smoke.yaml b/tests/smoke/Commands/dev/core.smoke.yaml
@@ -9,22 +9,7 @@ tests:
       - from-concrete
       - --eval
       - --transforms
-      - eta-expand-apps
-    args:
-      - positive/Internal/LiteralInt.juvix
-    stdout: |
-      suc (suc zero)
-    exit-status: 0
-
-  - name: core-from-concrete-eval
-    command:
-      - juvix
-      - dev
-      - core
-      - from-concrete
-      - --eval
-      - --transforms
-      - eta-expand-apps,nat-to-primint
+      - pipeline-stored
     args:
       - positive/Internal/LiteralInt.juvix
     stdout: |
@@ -39,13 +24,13 @@ tests:
       - from-concrete
       - --eval
       - --transforms
-      - eta-expand-apps
+      - pipeline-stored
       - --symbol-name
       - f
     args:
       - positive/Internal/LiteralInt.juvix
     stdout: |
-      suc zero
+      1
     exit-status: 0
 
   - name: core-repl-normalize
@@ -66,12 +51,12 @@ tests:
       - dev
       - core
       - from-concrete
-      - -t eta-expand-apps
+      - -t pipeline-stored
       - --normalize
     args:
       - positive/Internal/Norm.juvix
     stdout: |
-      suc (suc (suc zero))
+      3
     exit-status: 0
 
   - name: core-read-normalize

diff --git a/tests/smoke/Commands/html.smoke.yaml b/tests/smoke/Commands/html.smoke.yaml
@@ -67,7 +67,7 @@ tests:
         cat html/HelloWorld.html
     stdout:
       matches: |
-        .*href="HelloWorld.html#XYZ[0-9]+".*
+        .*href="HelloWorld.html#XYZHelloWorld:[0-9]+".*
     exit-status: 0
 
   - name: html-no-path
@@ -81,5 +81,5 @@ tests:
         cat html/HelloWorld.html
     stdout:
       matches: |
-        .*href="#[0-9]+".*
-    exit-status: 0
+        .*href="#HelloWorld:[0-9]+".*
+    exit-status: 0
diff --git a/tests/smoke/Commands/markdown.smoke.yaml b/tests/smoke/Commands/markdown.smoke.yaml
@@ -56,7 +56,7 @@ tests:
         cat markdown/Test.md
     stdout:
       matches: |
-        .*href="Test.html#XYZ[0-9]+".*
+        .*href="Test.html#XYZTest:[0-9]+".*
     exit-status: 0
 
   - name: markdown-no-path
@@ -72,7 +72,7 @@ tests:
         juvix markdown Test.juvix.md --no-path --stdout
     stdout:
       matches: |
-        .*href="#[0-9]+".*
+        .*href="#Test:[0-9]+".*
     exit-status: 0
 
   - name: markdown-options-for-mkdocs
@@ -88,5 +88,5 @@ tests:
         juvix markdown Test.juvix.md --no-path --prefix-url Y --prefix-id X --stdout
     stdout:
       matches: |
-        .*href="Y#X[0-9]+".*
-    exit-status: 0
+        .*href="Y#XTest:[0-9]+".*
+    exit-status: 0