Changes between Version 56 and Version 57 of IR2

Timestamp:

04/30/21 18:14:23 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -173 +173 @@
   | '$yield' ';'  /* release atomic lock */
   | '$assert' expr (',' expr)* ';'  /* assertion with optional error message */
-  | '$assume expr ';'  /* assumption */
+  | '$assume' expr ';'  /* assumption */
   ;