A forum for Spin users
You are not logged in.
Pages: 1
When I use the "Minimized automata" option, the command line looks like
gcc -DMEMLIM=2048 -O2 -DMA=120 -DMA=100 -DXUSAFE -w -o pan pan.c
while it should be
gcc -DMEMLIM=2048 -O2 -DMA=120 -DMA=100 -DXUSAFE -w -o pan pan.c
Offline
Pages: 1