Spinroot

A forum for Spin users

You are not logged in.

#1 General » Verification Error » 2012-06-07 15:52:53

tal
Replies: 1

hello , I'm new to spin.
When i run the code under verification , i get 1 error:
"state-vector 168 byte , depth reached 208.

when i have ran Simulate / Replay with "guided,with trail"
i see that the behaves, but in depth 208 the is a warning:
"missing params in next recv"

could you please tell me why do i get this warning?

thanks
tal w

Board footer

Powered by FluxBB