vprover/vampire

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

ibnyusuf opened this issue · 1 comments

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

Should be fixed by f9cebc5.