search

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint
https://apalache-mc.org/
Apache License 2.0
440 stars 40 forks source link

[FEATURE] Tutorial on assignments #369

Closed konnov closed 3 years ago

konnov commented 3 years ago

We need a short tutorial on how Apalache finds assignments. Describe when it finds assignments and when it does not.

Introduce one in doc/tutorials?

konnov commented 3 years ago

@Kukovec what is the status of that? Do we still need a tutorial?

Kukovec commented 3 years ago

I guess #428 covers this, so we probably don't need an additional tutorial.

konnov commented 3 years ago

I agree it is detailed enough. Maybe, it is not exactly a tutorial, but it gives an explanation.