Parse getModel and GetValue responses with constant arrays
Issue #19
new
Z3 and CVC4 use different syntax for constant arrays. Being able to parse values that are constant arrays (arrays initialised to a constant) would enable us to build witness with arrays.
Comments (2)
-
reporter -
reporter - Log in to comment
For ConstArrayTerm and ArrayStoreAllTerm: