Opened 5 years ago
Closed 5 years ago
#82 closed defect (fixed)
Help commands segmentation faults
Reported by: | Lukáš Zaoral | Owned by: | mornfall |
---|---|---|---|
Priority: | major | Milestone: | 4.3 |
Component: | UI | Keywords: | |
Cc: | kdudka@…, jamartis@…, lzaoral@… |
Description
Hello,
unfortunately, the issue #79 wasn't fully fixed. Divine still crashes in these cases:
1) Query for an unknown command, both with divine help
or in sim
environment with help command
.
2) divine help version
3) In sim
environment with following commands help {up,down,set,exit}
Thanks.
Note: See
TracTickets for help on using
tickets.
Hopefully fixed all the problems now. I have added the cases that you describe to a regression test.