simulink报错 - simulink吧 - RAT

simulink报错

level 3

他被捕杀楼主

各位大佬，我在做死逻辑检查的时候，使用design verifier工具，总是提示Undecided due to runtime error。请指教

2023年07月26日 10点07分 1

level 3

他被捕杀楼主

1

2023年07月26日 10点07分 2

level 3

他被捕杀楼主

1

2023年07月26日 10点07分 3

level 3

他被捕杀楼主

1

2023年07月26日 10点07分 4

level 3

他被捕杀楼主

1

2023年07月26日 10点07分 5

level 3

他被捕杀楼主

1

2023年07月26日 10点07分 6

level 3

他被捕杀楼主

1

2023年07月26日 10点07分 7

level 3

他被捕杀楼主

1

2023年07月26日 10点07分 8

level 3

他被捕杀楼主

1

2023年07月26日 10点07分 9

level 3

他被捕杀楼主

1

2023年07月26日 10点07分 10

level 3

他被捕杀楼主

1

2023年07月26日 10点07分 11

level 3

他被捕杀楼主

1

2023年07月26日 10点07分 12

level 3

他被捕杀楼主

1

2023年07月26日 10点07分 13

level 3

他被捕杀楼主

1

2023年07月26日 10点07分 14

1