Merge pull request #17 from alex28sh/scrips

fix 12
JetBrains-Research · Sep 10, 2024 · 3d8618c · 3d8618c
2 parents c8730d8 + 12a66dd
commit 3d8618c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Bench/012-longest.py b/Bench/012-longest.py
@@ -52,7 +52,7 @@ def longest(strings : List[List[int]]) -> Optional[int]:
             Invariant(not (result is not None) or (Exists(int, lambda d_1_s_:
                 ((d_1_s_) >= 0 and d_1_s_ < d_5_i_) and ((len(strings[getVal(result)])) == (len(strings[d_1_s_]))))))
             Invariant(not ((result) is not (None)) or (Forall(int, lambda d_4_j_:
-                    (not (((0) <= (d_4_j_)) and ((d_4_j_) < (result))) or ((len((strings)[d_4_j_])) < (len(strings[getVal(result)]))), [[((strings)[d_4_j_])]]))))
+                    (not (((0) <= (d_4_j_)) and ((d_4_j_) < (result))) or ((len((strings)[d_4_j_])) < (len(strings[getVal(result)])))))))
             # invariants-end
             if result is None or (len((strings)[d_5_i_])) > (len(strings[getVal(result)])):
                 d_6_mx_ = len((strings)[d_5_i_])