id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1515	terminate not supported in runtime	Martin Sjölund	Willi Braun	"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)"	defect	closed	high		Backend		fixed		Martin Sjölund Willi Braun