search

team-worthwhile / worthwhile

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

Programs are not marked as terminated when reaching end of code #77

Closed jspam closed 12 years ago

jspam commented 12 years ago

When having reached the end of the code, programs are not marked terminated in the Debug window.

This occurs only in debug mode and not in run mode.