search

utwente-fmt / ltsmin

The LTSmin model checking toolset
http://ltsmin.utwente.nl
BSD 3-Clause "New" or "Revised" License
52 stars 30 forks source link

file name taken as --por argument: pnml2lts-mc --por problem101.pnml #134

Closed jacopol closed 6 years ago

jacopol commented 7 years ago

pnml2lts-mc --threads=64 --por problem101.pnml pnml2lts-mc, error : unknown POR algorithm problem101.pnml

--por in this case takes no argument, so problem101.pnml should be interpreted as file name. LTSmin treated this like I typed: pnml2lts-mc --threads=64 --por=problem101.pnml

(I did this on caserta)

Meijuh commented 7 years ago

After searching the interwebs for some time, I could not find a way to resolve this with popt. Maybe it is not even possible to resolve, who knows.

alaarman commented 7 years ago

force thta popt demands an equals sign between parameters? otherwise we just change the options and add --por-alg or so

Meijuh commented 7 years ago

Can we force popt to require =? Else I don't think we should put anymore effort into this issue.

alaarman commented 6 years ago

won't fix with popt