Fix some more int bugs, add some tests (#1282)

johnynek · Nov 29, 2024 · 6c66e72 · 6c66e72
1 parent 3e9c6b5
commit 6c66e72
Show file tree

Hide file tree

Showing 3 changed files with 100 additions and 207 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -127,7 +127,7 @@ jobs:
       - name: "build assembly"
         run: "sbt \"++${{matrix.scala}}; cli/assembly\""
       - name: "generate c code"
-        run: "./bosatsuj transpile --input_dir test_workspace/ --package_root test_workspace/ --outdir c_out c --test --filter Bosatsu/List"
+        run: "./bosatsuj transpile --input_dir test_workspace/ --package_root test_workspace/ --outdir c_out c --test --filter Bosatsu/List --filter IntTest"
       - name: "compile generated c code"
         run: |
           cp c_runtime/*.h c_out