求助状态机跑飞

fouderion · 发表于 2014-4-21 10:43:45

先MARK一下，备用！

ssff · 发表于 2015-8-13 13:23:26

同样问题,学习一下.

挂在天边的鱼 · 发表于 2015-8-15 16:52:36

回复 1# muchuanhua

给状态机添加safe约束就可以了

挂在天边的鱼 · 发表于 2015-8-15 23:12:16

其实就是工具认为你永远不可能发生那种状态，就给你优化掉了，但在现实应用中，有可能因为加扰或者单粒子翻转等问题导致跳转到非定义状态（也就是文档中说的“unreacheable 和 invalid”）

glace12123 · 发表于 2015-8-16 22:42:21

你确认是跑飞不是跑死？

越远 · 发表于 2015-8-17 12:35:42

看一看！

[求助] 求助状态机跑飞