leo/.circleci/leo-check-constraints.sh

18 lines
513 B
Bash
Raw Normal View History

2021-03-29 10:57:37 +03:00
# leo new hello-world
2021-03-29 11:36:16 +03:00
cd ./project/examples/pedersen-hash
2021-03-29 10:57:37 +03:00
2021-03-29 11:42:32 +03:00
export PEDERSEH_HASH_CONSTRAINTS=1539
2021-03-29 10:57:37 +03:00
# 1. build
# 2. find lines with constraint number
# 3. find lines with $PEDERSEH_HASH_CONSTRAINTS
# 4. count lines
# 4.Er if result is 0 -> constraint number changed
# 4.Ok if result is 1 -> all good
2021-03-29 11:42:32 +03:00
[[ $($LEO build | grep "Number of constraints" | grep $PEDERSEH_HASH_CONSTRAINTS | wc -l) -eq 1 ]] || {
2021-03-29 10:57:37 +03:00
echo >&2 "Number of constraints for Pedersen Hash is not $PEDERSEN_HASH_CONSTRAINTS";
exit 1;
}