Commit 01c69e28 authored by Sylvain Dailler's avatar Sylvain Dailler

ce model parser: Fix parsing of return type of bitvector function

parent 0794657f
......@@ -243,5 +243,7 @@ ilist_app:
idata_type:
| name { }
| name idata_type { }
(* Z3 return bv can be "(_ bv 129)" which is not interpreted as a value *)
| UNDERSCORE name INT_STR { }
| LPAREN idata_type RPAREN option(idata_type) { }
(* END IGNORED TYPES *)
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment