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

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

Ads

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

The excaped text for use in a regex is:

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


Ads