CI: Test the arbitrary-size-numeral feature in CI

108anup · Jun 29, 2020 · c0c4199 · c0c4199
1 parent caac39c
commit c0c4199
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -24,6 +24,10 @@ jobs:
       run: cargo test -vv --all
       # See above.
       continue-on-error: true
+    - name: Run tests with `arbitrary-size-numeral` enabled
+      run: cargo test --manifest-path z3/Cargo.toml -vv --features arbitrary-size-numeral
+      # See above.
+      continue-on-error: true
 
   build_z3_statically:
     strategy:
@@ -45,5 +49,7 @@ jobs:
         run: cargo build --manifest-path z3-sys/Cargo.toml -vv --features static-link-z3
       - name: Build z3 with statically linked Z3
         run: cargo build --manifest-path z3/Cargo.toml -vv --features static-link-z3
-      - name: Test z3 with statically linked z3
+      - name: Test `z3` with statically linked Z3
         run: cargo test --manifest-path z3/Cargo.toml -vv --features static-link-z3
+      - name: Test `z3` with statically linked Z3 and `arbitrary-size-numeral` enabled
+        run: cargo test --manifest-path z3/Cargo.toml -vv --features 'static-link-z3 arbitrary-size-numeral'