Why is TLC reporting errors on valid states?

后端 未结 0 1109
北海茫月
北海茫月 2020-11-22 17:02

I have the following specification for a queue:

------------------------------- MODULE queue -------------------------------
EXTENDS Naturals

CONSTANT L (* T         


        
相关标签:
回答
  • 消灭零回复
提交回复
热议问题