REGEX-Escape for: ^\s*ASSUME -\(\(signed __CPROVER_bitvector\[33\]\)x\) <= -1 // invariant generated by 2LS$

Your Input:
Result, the escaped string:
\^\\s\*ASSUME \-\\\(\\\(signed __CPROVER_bitvector\\\[33\\\]\\\)x\\\) \<\= \-1 \/\/ invariant generated by 2LS\$

Ads

What must the escaping look like for:
^\s*ASSUME -\(\(signed __CPROVER_bitvector\[33\]\)x\) <= -1 // invariant generated by 2LS$

The excaped text for use in a regex is:

\^\\s\*ASSUME \-\\\(\\\(signed __CPROVER_bitvector\\\[33\\\]\\\)x\\\) \<\= \-1 \/\/ invariant generated by 2LS\$


Ads