search

SRI-CSL / yices2

The Yices SMT Solver
https://yices.csl.sri.com/
GNU General Public License v3.0
363 stars 45 forks source link

Remove extra factor of 4. #458

Closed markpmitchell closed 10 months ago

markpmitchell commented 10 months ago

When I converted stack arrays to heap arrays, I made the heap arrays bigger than necessary.

coveralls commented 10 months ago

Coverage Status

coverage: 64.976%. remained the same when pulling 9f3cc353104e37b6d9577e21a89c504fdcc893d0 on markpmitchell:master into 6d4c28e53fdbcdc84ed84419377589a5be09cc76 on SRI-CSL:master.