Commit 57d26f38 authored by Clément Fumex's avatar Clément Fumex

- add "bv" "subset" and "union" to the blacklisted tokens of smtv2 printer

- fix bitvector/double_of_int, bitvector/power2 and queens test output
parent da49e047
This diff is collapsed.
......@@ -66,7 +66,7 @@ let ident_printer =
"BitVec"; "extract"; "bv2nat"; "nat2bv";
(** From Z3 *)
"map"
"map"; "bv"; "subset"; "union"
]
in
let san = sanitizer char_to_alpha char_to_alnumus in
......
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