Currently, APE does not check SLTLx formulas straight away, causing users to have to wait a while before getting feedback on any SLTLx errors via SLTLx parsing exceptions. To allow for faster feedback to the user, the SLTLx formulas should be checked as soon as possible and any feedback should be provided right away.
Currently, APE does not check SLTLx formulas straight away, causing users to have to wait a while before getting feedback on any SLTLx errors via SLTLx parsing exceptions. To allow for faster feedback to the user, the SLTLx formulas should be checked as soon as possible and any feedback should be provided right away.