nagini: use better newlines

JetBrains-Research · Sep 17, 2024 · cf35ce5 · cf35ce5
1 parent ddc0219
commit cf35ce5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/verified_cogen/runners/languages/nagini.py b/verified_cogen/runners/languages/nagini.py
@@ -16,7 +16,7 @@ class NaginiLanguage(GenericLanguage):
     def __init__(self):
         super().__init__(
             re.compile(
-                r"def\s+(\w+)\s*\((.*?)\)\s*->\s*(.*?):(:?\n?( *(?:Requires|Ensures)\([^\n]*\)\n?)*)",
+                r"def\s+(\w+)\s*\((.*?)\)\s*->\s*(.*?):(:?(?:\r\n|\r|\n)?( *(?:Requires|Ensures)\([^\r\n]*\)(?:\r\n|\r|\n)?)*)",
                 re.DOTALL,
             ),
             NAGINI_VALIDATOR_TEMPLATE,