[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Writing and Maintaining UNCHANGED Statements

On 10.01.19 18:31, William Schultz wrote:
> When writing larger TLA+ specs with numerous variables I find that
> maintaining the UNCHANGED statements for each action can become tedious.
> For example, if I add a new variable to an existing spec that is not
> changed by most actions, I need to go through every UNCHANGED statement
> and add it. [...]

https://github.com/tlaplus/tlaplus/issues/222

M.