Jul 13, 2011 #3 L leonqin Guest 例如7.23，密克罗尼西亚：闲置，S1，S2，S3，S4，S5，S6。当某些条件下可以satistified，国家将转到S1的形式闲置，然后S2，S3，直到闲置。但我调试时，我找到了状态，有时转到S1形成闲置，并迅速恢复闲置！此外，我想补充一些debug.I针还发现有时状态没有被“闲置，S1，S2，S3，，S6”。当我关闭密克罗尼西亚编译器“选项”，我得到真正的结果！
例如7.23，密克罗尼西亚：闲置，S1，S2，S3，S4，S5，S6。当某些条件下可以satistified，国家将转到S1的形式闲置，然后S2，S3，直到闲置。但我调试时，我找到了状态，有时转到S1形成闲置，并迅速恢复闲置！此外，我想补充一些debug.I针还发现有时状态没有被“闲置，S1，S2，S3，，S6”。当我关闭密克罗尼西亚编译器“选项”，我得到真正的结果！
