A forum for Spin users
You are not logged in.
Pages: 1
Hi all again,
forgive me, but I have another question. I'm running my model in bitstate mode:
gcc -o pan pan.c -DNOFAIR -DSAFETY -DBITSTATE -DSPACE -DUSE_DISK -DSC -DMEMLIM=8192 -DVMAX=88
pan -E -e -v -w27
The verification is going, but I got the message
pan: warning, stack incomplete
what does it mean? Is there some parameter I did not correctly specified?
Thank you
Mara
Offline
Perfect. Thank you again!
Offline
Pages: 1