add check for extends

Status: Alpha

Brought to you by: fillerup, tukraus

#4 add check for extends

Status: open

Owner: nobody

Labels: Model Checker (2)

Priority: 5

Updated: 2007-07-09

Created: 2007-07-09

Creator: Thomas Kraus

Private: No

add check for extends

Discussion

Log in to post a comment.