Opened 14 years ago

Closed 12 years ago

#1515 closed defect (fixed)

terminate not supported in runtime

Reported by: Martin Sjölund Owned by: Willi Braun
Priority: high Milestone:
Component: Backend Version:
Keywords: Cc: Martin Sjölund, Willi Braun

Description

solverMain does things a bit odd. It believes that checkForAsserts() can check for all assertions, but this is not possible.

Currently:
terminate() is not supported at all
assert() is not supported for external functions, functions, algorithms, etc

Proposal 1: Only reset the assertion/terminate flag if the triggered assertion has a case in this function
Proposal 2 (Performance): Only recheck the assertions that were actually triggered (index all assertions)

Change History (3)

comment:1 by anonymous, 12 years ago

Component: Backend

Any chance that we can have this feature implemented, it would be very useful for what I am doing????

Cheers

comment:2 by Willi Braun, 12 years ago

Owner: changed from Martin Sjölund to Willi Braun
Status: newaccepted

terminate() is supported in in r13683.

comment:3 by Willi Braun, 12 years ago

Resolution: fixed
Status: acceptedclosed

assert() is better supported in r16387.

Note: See TracTickets for help on using tickets.