Spinroot

Hello,

I am new user to Spin and I was wondering how spin responds to a non-deterministic automaton ? I saw that you can add options such as "random" or "interactive" but if you don't use this options, how Spin choose an edge when you have a non-deterministic automaton ?

Thanks.

Marion