test now takes boolean inputs

2025-09-23 12:18:44 +00:00 · 2019-10-17 14:10:16 +02:00 · 2019-10-17 14:10:16 +02:00 · 9adf95ad97
commit 9adf95ad97
parent ffed1e775f
2 changed files with 4 additions and 5 deletions
--- a/zokrates_core_test/tests/tests/bool_compare.json
+++ b/zokrates_core_test/tests/tests/bool_compare.json
@ -19,8 +19,8 @@
        {
            "input": {
                "values": [
-                    "0",
-                    "1"
+                    "1",
+                    "0"
                ]
            },
            "output": {
--- a/zokrates_core_test/tests/tests/bool_compare.zok
+++ b/zokrates_core_test/tests/tests/bool_compare.zok
@ -1,3 +1,2 @@
-def main(field a, field b) -> (field):
- field out = if (a == 1) == (b == 1) then 1 else 0 fi
- return out
+def main(bool a, bool b) -> (bool):
+ return a == b