fix dafny

JetBrains-Research · Dec 10, 2024 · 2a11fee · 2a11fee
1 parent 6bb6dde
commit 2a11fee
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/verified_cogen/runners/languages/language.py b/verified_cogen/runners/languages/language.py
@@ -167,11 +167,12 @@ def generate_validators(self, code: str, validate_helpers: bool) -> str:
                 )
             )
 
-            validators.append(
-                self._validators_from_pure(
-                    method_name, parameters, returns, specs, body
+            if validate_helpers:
+                validators.append(
+                    self._validators_from_pure(
+                        method_name, parameters, returns, specs, body
+                    )
                 )
-            )
 
         for match in methods:
             method_name, parameters, returns, specs = (