search

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver
Apache License 2.0
121 stars 33 forks source link

Exclude ar archives from computing the checksum. #55

Closed dragos closed 6 years ago

dragos commented 6 years ago

It looks like ar files change between builds, at least on Mac OS. This fixes the checksum logic to not recompile Z3 every time.