github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

Update sudoku_checker.zok

Browse source
This commit is contained in:
Ahmed Castro 2023-03-24 16:36:49 -06:00 committed by GitHub
parent 2e551b3d16
commit 30c9d8b8b1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
zokrates_cli/examples/sudoku/sudoku_checker.zok
View file

@ -74,7 +74,5 @@ def main(field a21, field b11, field b22, field c11, field c22, field d21, priva
duplicates = duplicates + countDuplicates(b12, b22, d12, d22);
// the solution is correct if and only if there are no duplicates
assert(duplicates == 0);
return;
return duplicates == 0;
}