fixed use after free bug

vprover / vampire

The Vampire Theorem Prover

https://vprover.github.io/

Other

282 stars 49 forks source link

Closed joe-hauns closed 5 months ago

joe-hauns commented 5 months ago

Fixes a use after free bug in LiteralSubstitutionTree that occurs when the signature has been extended during proof search.