search

epfl-lara / inox

Solver for higher-order functional programs, used by Stainless
Apache License 2.0
88 stars 20 forks source link

Make PurityOptions a case class, fix warnings, disable scaladoc gen #181

Closed mario-bucev closed 2 years ago

mario-bucev commented 2 years ago

Note: PurityOptions is used as a key in some maps, having it as a non-case class leads to unexpected results (due to the nature of hash and == relying on reference equality instead of structural equality)

mario-bucev commented 2 years ago

We can also use this PR to update the Scala-SMTLIB dependency once https://github.com/epfl-lara/scala-smtlib/pull/8 is merged