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

Update docker-image.yml

Browse Source
This commit is contained in:
Yanju Chen
2023-08-16 17:30:05 -07:00
parent 5d96a64d4a
commit 367cdc8a89
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -60,6 +60,8 @@ jobs:
run: bash ./scripts/prepare-circomlib.sh
- name: preparing rosette
run: raco pkg install --auto rosette
- name: preparing rosette
run: raco pkg install --auto csv-reading
- name: run picus with z3, using v3
run: racket ./picus-dpvl-uniqueness.rkt --solver z3 --r1cs ./benchmarks/circomlib-cff5ab6/Decoder@multiplexer.r1cs --weak
@@ -79,5 +81,7 @@ jobs:
run: bash ./scripts/prepare-circomlib.sh
- name: preparing rosette
run: raco pkg install --auto rosette
- name: preparing rosette
run: raco pkg install --auto csv-reading
- name: run picus with cvc5, using v3
run: racket ./picus-dpvl-uniqueness.rkt --solver cvc5 --r1cs ./benchmarks/circomlib-cff5ab6/Decoder@multiplexer.r1cs --weak