Spinroot

A forum for Spin users

You are not logged in.

#1 2012-06-07 15:52:53

tal
Member
Registered: 2012-06-07
Posts: 1

Verification Error

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

Offline

#2 2012-06-07 16:26:43

spinroot
forum
Registered: 2010-11-18
Posts: 691
Website

Re: Verification Error

it means that you have a receive operations (channel?message,parameter)
that has fewer parameters than the channel specifies

Offline

Board footer

Powered by FluxBB