search

will62794 / tla-web

Interactive, web-based environment for exploring TLA+ specifications.
MIT License
69 stars 7 forks source link

Next-state relation disabled when it is not #12

Closed lemmy closed 2 years ago

lemmy commented 2 years ago 
---- MODULE Foo ----

VARIABLE x

Init == x = TRUE

Next == x' = ~x
====
Screen Shot 2022-06-28 at 11 33 26 AM
will62794 commented 2 years ago

Should be fixed by 69fa732. See live spec here.

lemmy commented 2 years ago

Thanks