mirror of
https://github.com/Veridise/Picus.git
synced 2026-04-19 03:00:11 -04:00
23 lines
769 B
Bash
Executable File
23 lines
769 B
Bash
Executable File
#!/bin/bash
|
|
|
|
declare -a arr=(
|
|
# "buggy-mix/circom-ecdsa-436665b/test-bigmod22.circom"
|
|
# "buggy-mix/hermez-network-971c89f/test-rollup-main-L1.circom"
|
|
# "buggy-mix/iden3-core-3a3a300/credentialAtomicQuerySigTest.circom"
|
|
# "buggy-mix/circomlib-79d3034/test-mimcsponge.circom"
|
|
# "buggy-mix/tornado-core-ce97895/withdraw.circom"
|
|
# "buggy-mix/re-tornado-core-ce97895/withdraw.circom"
|
|
"buggy-mix/min0-tornado-core-ce97895/withdraw.circom"
|
|
)
|
|
|
|
for fn in "${arr[@]}"
|
|
do
|
|
bn="${fn%.*}"
|
|
dn="$(dirname "${fn}")"
|
|
echo "=================== ${fn}: ${bn} ==================="
|
|
echo " compiling..."
|
|
circom -o ./benchmarks/${dn}/ ./benchmarks/${fn} --r1cs --sym --O0
|
|
# echo " parsing..."
|
|
# ./circom-parser/target/debug/parser ./benchmarks/${fn} > ./benchmarks/${bn}.json
|
|
|
|
done |