From 5db079fd7deb1b17ae77b7ae5da77f24bb1cf8c0 Mon Sep 17 00:00:00 2001 From: chriseth Date: Mon, 27 Feb 2023 20:26:36 +0100 Subject: [PATCH] Improve test. --- tests/sum_via_witness_query.pil | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/tests/sum_via_witness_query.pil b/tests/sum_via_witness_query.pil index 1d2eff35a..efca933d4 100644 --- a/tests/sum_via_witness_query.pil +++ b/tests/sum_via_witness_query.pil @@ -21,6 +21,5 @@ namespace Sum(%N); sum' = (1 - ISLAST) * (sum + input); // This is just to see that a query is optional or can also // return "try to figure it out on your own" - // TODO: This woulb be better if we could use "ISLAST * input = 0". - ISALMOSTLAST * input' = 0; + ISLAST * input = 0; public out = sum(%N-1);