Open eze1981 opened 7 years ago
Dear Eze,
I am afraid that the version uploaded is too old and outdated that I cannot solve your problem. It seems there is some bug in the parsing of symbol ":-" for Jason rules.
I will release a new version of eJason in the next couple of days which will bring in many fixes and new functionality. Please try again after the release and tell me if the problem persists.
Thank you for your interest and best regards, Álvaro
Hello,
I'm having some problems with the counter example, these are my steps:
During the build process I got this error message:
Thank you