Spinroot

A forum for Spin users

You are not logged in.

#1 2017-04-11 21:45:00

xueying
Member
Registered: 2017-04-11
Posts: 3

generate random initiation value for the variables

I am an almost new user of SPIN, and in the verification of SPIN.

for example I create a new variable a  the type is byte
Does SPIN go over all random initiate values for a during the exhaustive verification .

like, a range is [0...255]
SPIN Checks all possible value of a ?

And I am also confused with the seed value when do the simulation.
What does it mean?


Thanks a lot.

Offline

#2 2017-04-11 22:01:52

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

Re: generate random initiation value for the variables

See response to the same question asked just before this one.

Offline

Board footer

Powered by FluxBB