Opened 12 months ago

Last modified 9 months ago

#92 accepted defect

divine info is outdated

Reported by: Lukáš Zaoral Owned by: Vladimír Štill
Priority: minor Milestone: 4.3
Component: DiOS Keywords:
Cc: kdudka@…, jamartis@…, lzaoral@…

Description

Hello,
the divine info command prints outdated DiOS options. For example, the listed -o ignore:arithmetic option is no longer valid (and subsequently ends with an out of bounds memory access warning), and on the other hand the -o ignore:exit option is not listed at all.
Thanks!

Change History (1)

comment:1 Changed 9 months ago by Vladimír Štill

Owner: set to Vladimír Štill
Status: newaccepted
Note: See TracTickets for help on using tickets.