Skip to content
Snippets Groups Projects
user avatar
Etienne Kneuss authored
Z3 may return an id->id model for array kinds, leading to an assertion
error caused by the expectation of getting an array literal. We
shortcircuit with z3IdToExpr to catch such cases for all kinds.
0c62931b
History
Name Last commit Last update
..