A forum for Spin users
You are not logged in.
Thanks!
I read from somehwere that Spin stands for Simple Promela Interpreter. Promela stands for Process Meta Language. Should I write these names with all capitals or with just a capitalized initial letter (or perhaps even with small capitals)?
Understood. Thanks!
According to the Spin online reference,
-MN
use N Megabytes for bitstate hash array (bitstate mode)
-GN
use N Gigabytes for bitstate hash array (bitstate mode)
-wN
use a hashtable of 2^N entries(defaults to -w23 in bitstate mode and -w19 in exhaustive search mode)
Do these three parameters control the size of the same data structure? I noticed that with -w42 and -G512, pan takes roughly the same amount of memory and in both cases the amount of memory used is reported as "memory used for hash array".