Spinroot

A forum for Spin users

You are not logged in.

#1 2012-12-07 17:45:35

eugen
Member
Registered: 2011-11-28
Posts: 16

duplicate -DMA option

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

#2 2012-12-08 06:42:03

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

Re: duplicate -DMA option

yes, that's a bug
will be fixed in the next release of ispin
thanks for reporting it!

Offline

Board footer

Powered by FluxBB