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

Merge pull request #1287 from Turupawn/patch-2

Browse source 
Sudoku example fix
This commit is contained in:
Thibaut Schaeffer 2023-04-11 11:05:59 +02:00 committed by GitHub
commit a8955092ee
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
changelogs/unreleased/1287-Turupawn Normal file
View file

@ -0,0 +1 @@
Fixed precedence issue on Sudoku example.

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

@ -12,11 +12,11 @@
def countDuplicates(field e11, field e12, field e21, field e22) -> field {
field mut duplicates = e11 == e12 ? 1 : 0;
duplicates = duplicates + e11 == e21 ? 1 : 0;
duplicates = duplicates + e11 == e22 ? 1 : 0;
duplicates = duplicates + e12 == e21 ? 1 : 0;
duplicates = duplicates + e12 == e22 ? 1 : 0;
duplicates = duplicates + e21 == e22 ? 1 : 0;
duplicates = duplicates + (e11 == e21 ? 1 : 0);
duplicates = duplicates + (e11 == e22 ? 1 : 0);
duplicates = duplicates + (e12 == e21 ? 1 : 0);
duplicates = duplicates + (e12 == e22 ? 1 : 0);
duplicates = duplicates + (e21 == e22 ? 1 : 0);
return duplicates;
}