I cannot find a way to call probcli with a file containing a list of formulas.
I always get the message:
> ! An error occurred (source: ltl) !
> ! Error while parsing the LTL formula file
> An error occurred while parsing the LTL file.
The formulas are correct as when used inside the GUI they are correctly veririfed.
Is it possible to see a valid example of ltlfile ?
Or maybe there is some bug in the ltlfile parsing?
(Prob 1.9, MacOS 10.13.6)
Best regards
Franco Mazzanti