team-worthwhile / worthwhile

PSE am KIT 2011/12: Programmverifikation (Team 2)
BSD 3-Clause "New" or "Revised" License
5 stars 3 forks source link

Unknown validity should not result in an InterpreterError #62

Closed jspam closed 12 years ago

jspam commented 12 years ago

I don’t understand why a failed assertion calls the annotationFailed method and allows the interpreter to continue normally, while an unknown validity triggers the executionFailed event and raises an interpreter error.

IMO, an unknown validity should only result in an annotationFailed event, and not in an interpreter error.