Opened 4 weeks ago

Closed 5 days 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.

Change History (1)

comment:1 Changed 5 days ago by mornfall

Resolution: fixed
Status: newclosed

Hopefully fixed all the problems now. I have added the cases that you describe to a regression test.

Note: See TracTickets for help on using tickets.