search

will62794 / tla-web

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

Incomplete set of initial states #15

Closed lemmy closed 2 years ago

lemmy commented 2 years ago

With e.g. EWD998 to N == 2 and Init!3 to /\ color \in [Node -> {"white"}], there should be four initial states, but there are only three.

Screen Shot 2022-07-07 at 9 38 32 PM
will62794 commented 2 years ago

Should be fixed with bb905b56.

See running demo here.

lemmy commented 2 years ago

Thanks, looks good.