A forum for Spin users
You are not logged in.
Pages: 1
Thanks you, I checked it fixed the problem
Hi,
I am new to spin, I have modeled a system which I want to verify, when I run the verifiable exe(pan.exe) I see that
depth reached is 0, does this mean that there was no verification done at all, if so what could be the reason for depth 0.
Regards,
Shiv
Pages: 1