Re: [tlaplus] Disabled actions for one or more modules

[AmirHossein SayyadAbdi <amir.ahsa.2011@xxxxxxxxx>]

Hi Rachel,

If you run the TLC model checker and wait for it to finish then you can view your specification and you will see a few yellow indicators each pointing to a disabled action.

An indicator is placed exactly to the left side of a disabled action's definition in your spec.

AmirHossein

On Sat, Nov 9, 2019, 3:56 AM Rachel Delafon <bad.restuko@xxxxxxxxx> wrote:

Hi everyone, 

In my last specification, TLC warns me that some actions have disabled? 

The message is formatted has an hyperlink. But When I click on it, nothing happens.

Would it possible to know which actions have been disabled? 

From where should I start?

Thanks, 

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CAMCHOhM0oNB7jzxDtgSAfeC7mmGdx-HKkmixL0bjiLZNrY9KJw%40mail.gmail.com.

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CAKxfy0tQD2ZbkiUn7L2705qT08DBXYsxV9xM4znFQkRGnmpYvQ%40mail.gmail.com.