`Arrays` test fails with later versions of Z3

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

Apache License 2.0

122 stars 34 forks source link

Closed psuter closed 5 years ago

psuter commented 11 years ago

It's all in the title.

We should look into the representation of models of arrays, including functions to access default values etc.

romac commented 5 years ago

Arrays tests are now passing with Z3 4.7.1

psuter commented 5 years ago

Well I'm relieved I won't have to fix that 🙂

romac commented 5 years ago

@psuter Fun fact: that was apparently your first GitHub issue ever ;)