search

SRI-CSL / sally

A model checker for infinite-state systems.
http://sri-csl.github.io/sally/
GNU General Public License v2.0
69 stars 12 forks source link

Unable to use escaped ids #28

Closed agacek closed 8 years ago

agacek commented 8 years ago

The grammar for sally seems to allowed escaped ids by surrounding them with |...|, but I can't seem to get an example to work using them. In particular, neither |next.x| nor next.|x| seem to work when referencing a variable called |x|.

dddejan commented 8 years ago

Thanks for the report. You can now use any of the variants, as if the parser just ignores the '|' character.

agacek commented 8 years ago

This works great, thanks. I noticed that you never escaped the output. I have no strong feelings on this, but it may be something you want to consider.

dddejan commented 8 years ago

I just changed it so that terms are escaped if not alphanumeric. It should escape them if now in places like trace printouts. If there is some place where it doesn't get properly escaped, let me know and I'll take care of it.