tmax 的test coverage比较低 只要20% 。analy_faults -class AU ,报告 如下
13931 faults are untestable due to constraint values .
38649 faults are untestable due to constraint values blockage .
184499 faults are connected to TLA
64744 faults connected to TIEX
5277 FAULTS are connected to FAIL_TE
这个怎么deubug呢 ,TLA 是啥,这个貌似比较多。谢谢了