From 367cdc8a897b83b9b237497db19a1338484133a6 Mon Sep 17 00:00:00 2001 From: Yanju Chen Date: Wed, 16 Aug 2023 17:30:05 -0700 Subject: [PATCH] Update docker-image.yml --- .github/workflows/docker-image.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml index 349755a..57f4896 100644 --- a/.github/workflows/docker-image.yml +++ b/.github/workflows/docker-image.yml @@ -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 \ No newline at end of file