ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-22 22:44:47 +03:00
Code Issues Packages Projects Releases Wiki Activity

added string search instead of line count

Browse Source
This commit is contained in:
damirka 2021-03-29 18:44:46 +03:00
parent a8cea5c894
commit 8eba9fb21d
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
.circleci/leo-check-constraints.sh
View File

@ -6,12 +6,11 @@ export PEDERSEN_HASH_CONSTRAINTS=1539
# 1. build
# 2. find lines with constraint number
# 3. find lines with $PEDERSEN_HASH_CONSTRAINTS
# 4. count lines
# 4.Er if result is 0 -> constraint number changed
# 3. search this line for CONSTRAINTS number
# 4.Er if result is 0 -> constraint number changed exit 1
# 4.Ok if result is 1 -> all good
[[ $($LEO build | grep "Number of constraints" | grep $PEDERSEN_HASH_CONSTRAINTS | wc -l) -eq 1 ]] || {
[[ $(cargo run -q -- build | grep constraints) == *"$PEDERSEN_HASH_CONSTRAINTS"* ]] || {
echo >&2 "Number of constraints for Pedersen Hash is not $PEDERSEN_HASH_CONSTRAINTS";
exit 1;
}
}