Bug report: implication prefix
Hello, It seems that Spot cannot parse implication and equivalent operators in prefix order. I tried on both my local machine and the online translator <https://spot.lre.epita.fr/app/>. The installed Spot version is 2.11.1. The commands are - local: spot.formula("-> a b") - online translator: type in -> a b Error message: syntax error, unexpected implication operator Thank you very much for your help and creating the conda package for Spot, that makes the installation very convenient! Happy holidays! Best, Jason
"Liu, Jason Xinyu" <xinyu_liu@brown.edu> writes:
- local: spot.formula("-> a b") - online translator: type in -> a b Error message: syntax error, unexpected implication operator
Hi Jason, The prefix syntax uses "i" and "e" for "->" and "<->". See https://spot.lre.epita.fr/ioltl.html#prefix Alexandre
Hi Alexandre, Thank you so much for the info! Best, Jason On Wed, Nov 30, 2022 at 5:02 AM Alexandre Duret-Lutz <adl@lrde.epita.fr> wrote:
"Liu, Jason Xinyu" <xinyu_liu@brown.edu> writes:
- local: spot.formula("-> a b") - online translator: type in -> a b Error message: syntax error, unexpected implication operator
Hi Jason,
The prefix syntax uses "i" and "e" for "->" and "<->". See
https://spot.lre.epita.fr/ioltl.html#prefix
Alexandre
participants (2)
-
Alexandre Duret-Lutz -
Liu, Jason Xinyu