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

pnml2lts-mc -h could crash in a pipe #133

Closed jacopol closed 7 years ago

jacopol commented 7 years ago

pnml2lts-mc -h --threads=1 | cat segmentation fault

(without the pipe it works correctly, although I have also seen it failing)

jacopol commented 7 years ago

gdb -- pnml2lts-mc -h 2>&1 | cat (gdb) r pnml2lts-mc, error : not enough arguments

I don't get why this message is now generated.

Meijuh commented 7 years ago

I've looked into this a bit. And the segfault also seems the happen when your window is too small, eg in tmux. The issue seems to be this line: {"strategy", 0, POPT_ARG_STRING, &arg_strategy, 0, "select the search strategy (default: auto)", "<bfs|sbfs|dfs|cndfs|lndfs|endfs|endfs|renault|ufscc|ndfs>"},, which is too long to display on small windows. To me this sounds like a bug in libpopt. Which is not resolved in a the latest version. I do not know a minimal working example to reproduce the bug, so I have not submitted bug report.

alaarman commented 7 years ago

@michaelw debugged this once and uncovered a bug in popt.

Meijuh commented 7 years ago

I am closing this issue then, not going to debug popt ;).