Support `sys_init` and `env_init`

GaloisInc / salty

A DSL for generating GR(1) problems

BSD 3-Clause "New" or "Revised" License

11 stars 3 forks source link

Closed elliottt closed 7 years ago

elliottt commented 7 years ago

Currently, initialization of state variables can not relate multiple variables, for example:

sys_init
| !a !b

in slugs notation.

cc @sahabi

elliottt commented 7 years ago

sys_init and env_init should both be supported as of d0ea537.