From 6cd54343bb6c7de83d8da9a9d94e4dae2f8db749 Mon Sep 17 00:00:00 2001 From: Paul Etscheit Date: Thu, 3 Oct 2019 09:31:24 +0200 Subject: [PATCH] Update zokrates_core_test/tests/tests/precedence.zok Co-Authored-By: Thibaut Schaeffer --- zokrates_core_test/tests/tests/precedence.zok | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/zokrates_core_test/tests/tests/precedence.zok b/zokrates_core_test/tests/tests/precedence.zok index ae3d1f65..48356e0d 100644 --- a/zokrates_core_test/tests/tests/precedence.zok +++ b/zokrates_core_test/tests/tests/precedence.zok @@ -9,8 +9,8 @@ def main(field g) -> (field): field c = if 4 < 5 && 3 == 3 then 1 else 0 fi field d = if 4 > 5 && 2 >= 1 || 1 == 1 then 1 else 0 fi field e = if 2 >= 1 && 4 > 5 || 1 == 1 then 1 else 0 fi - field f = if 1 < 2 && false || 4 < 5 && 2 >= 1then 1 else 0 fi + field f = if 1 < 2 && false || 4 < 5 && 2 >= 1 then 1 else 0 fi //check if all statements have evalutated to true a * b * c * d * e * f == 1 - return g \ No newline at end of file + return g