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

Using `mod` with `mcmt` #60

Open yav opened 5 years ago

yav commented 5 years ago

It looks like the mcmt input parser is missing an entry for a mod operation at the moment. Could we add it? A quick grep through the source code shows that there already is something called TERM_MOD but only the sal parser seems to make such terms.