Post-conditions do not work

Status: Pre-Alpha

Brought to you by: r_kinder

#1 Post-conditions do not work

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2001-10-15

Created: 2001-10-15

Creator: Richard Kinder

Private: No

Parse post-conditions are not implemented yet.

Discussion

Log in to post a comment.