vprover / vampire

The Vampire Theorem Prover
https://vprover.github.io/
Other
292 stars 51 forks source link

Unexpected "User error: This version cannot be used with this logic!" #550

Closed ibnyusuf closed 5 months ago

ibnyusuf commented 5 months ago

When running current master on the attached file with options:

--mode portfolio --schedule smtcomp

we receive the above user error. Exploration suggests that this is because the logic of the property object has not been set when it is queried in the schedule. out.txt

MichaelRawson commented 5 months ago

Should be fixed by f9cebc5.