Error: Solver was aborted with message "Invalid code path"

[Ingmar Dasseville]

http://seldon.cs.kuleuven.be/idp/?src=75cc8372ac9cd2017aff

Maybe because of empty Cost type?

[JoD]

TODO: investigate behaviour of empty types

[Bart Bogaerts]

https://bitbucket.org/krr/idp/pull-request/318/improved-function-check-empty-domain-was

Fixt deze issue.

De groudner gaat er van uit dat totale functies altijd een beeld moeten hebben. De solver ook. Dit is juist. De solver heeft geen backupplan voor lege types (enkel indien de functie partieel is).

Nu wordt dit probleem vroeger opgevangen waardoor de assumpties van de solver correct zijn.