FSM_NoDeadlock - Explored (IFV)

Hello,

I've been using the IFV tool for quite sometime now and I notice that when I run FSM assertions under AFA, No deadlock assertions remain explored while the others pass easily. Is there anyway to improve this?

Thanks