github/Picus
1
1
Fork 0
mirror of https://github.com/Veridise/Picus.git synced 2026-04-19 03:00:11 -04:00
Code Issues Packages Projects Releases Wiki Activity

update test workflow

Browse Source
This commit is contained in:
Yanju Chen
2023-08-16 17:05:51 -07:00
parent 088e4b8aa0
commit 44ea29ab89
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/docker-image.yml vendored
View File

@@ -61,7 +61,7 @@ jobs:
- name: preparing rosette
run: raco pkg install --auto rosette
- name: run picus with z3, using v3
run: racket ./test-v3-uniqueness.rkt --solver z3 --r1cs ./benchmarks/circomlib-cff5ab6/Decoder@multiplexer.r1cs --weak
run: racket ./picus-dpvl-uniqueness.rkt --solver z3 --r1cs ./benchmarks/circomlib-cff5ab6/Decoder@multiplexer.r1cs --weak
test-solve-with-cvc5:
needs: test-compile-circomlib
@@ -80,4 +80,4 @@ jobs:
- name: preparing rosette
run: raco pkg install --auto rosette
- name: run picus with cvc5, using v3
run: racket ./test-v3-uniqueness.rkt --solver cvc5 --r1cs ./benchmarks/circomlib-cff5ab6/Decoder@multiplexer.r1cs --weak
run: racket ./picus-dpvl-uniqueness.rkt --solver cvc5 --r1cs ./benchmarks/circomlib-cff5ab6/Decoder@multiplexer.r1cs --weak