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

Debugger allows setting variable value to wrong type #90

Closed jspam closed 12 years ago

jspam commented 12 years ago

The debugger allows setting the value of a variable to a value that does not match its type, e.g. assigning {true} to an Integer variable.