Fix CPROVER translation

labs-lang · Nov 29, 2021 · ae851e1 · ae851e1
1 parent e65a1fd
commit ae851e1
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/cex.py b/cex.py
@@ -1,10 +1,10 @@
 import re
-from pyparsing import (Word, alphanums, delimitedList, OneOrMore, ZeroOrMore,
-                       Forward, Suppress, Group, ParserElement, Keyword,
-                       dblQuotedString, removeQuotes, SkipTo, StringEnd, Regex,
-                       printables)
+from pyparsing import (
+    LineEnd, LineStart, Word, alphanums, delimitedList, OneOrMore, ZeroOrMore,
+    Forward, Suppress, Group, ParserElement, Keyword, dblQuotedString,
+    removeQuotes, SkipTo, StringEnd, Regex, printables)
 from pyparsing import pyparsing_common as ppc
-import time
+
 
 ATTR = re.compile(r"I\[([0-9]+)l?\]\[([0-9]+)l?\]")
 LSTIG = re.compile(r"Lvalue\[([0-9]+)l?\]\[([0-9]+)l?\]")
@@ -48,7 +48,7 @@
 ASGN = Regex(r'(?P<lhs>[^\s=]+)=(?P<rhs>.+)')
 TRACE = OneOrMore(Group(Group(HEADER) + SEP.suppress() + Group(ASGN))).ignore(OneOrMore(SKIP))  # noqa: E501
 TRACE_OLD = OneOrMore(Group(Group(HEADER_OLD) + SEP.suppress() + Group(ASGN))).ignore(OneOrMore(SKIP))  # noqa: E501
-PROP = Suppress(HEADER | HEADER_OLD) + STUFF + Suppress(SkipTo(StringEnd()))
+PROP = Suppress(SkipTo(LineEnd())) + Suppress(SkipTo(LineStart())) + STUFF + Suppress(SkipTo(StringEnd()))  # noqa: E501
 
 
 def pprint_agent(info, tid):