search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Not considering popped flas in the number of assertions #775

Closed Tomaqa closed 3 weeks ago

Tomaqa commented 3 weeks ago

We should keep insertedFormulasCount as it is - it returns the number of inserted formulas, not the number of currently valid assertions. For that, one can use getCurrentAssertionsView().size().