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

Symbol table remove records fix #435

Closed Saloed closed 1 year ago

Saloed commented 1 year ago

When a record in a bucket is not removed, the r pointer is not updated, resulting in an infinite loop.

coveralls commented 1 year ago

Coverage Status

Coverage: 64.252% (-0.0005%) from 64.252% when pulling 46b5486bd86e1557a47745aded1f6498947c8e40 on Saloed:table-remove-fix into 85e6d4918a355b9e0d3955f346fbf0fffc1bfe43 on SRI-CSL:master.