Java Modeling Language (JML) / Feature Requests / #146 jmlc doesn't implement measured _by clause

#146 jmlc doesn't implement measured _by clause

Status: open

Owner: nobody

Labels: jmlrac (i.e., the jmlc tool) (44)

Module:

Priority: 5

Updated: 2013-10-27

Created: 2008-03-10

Creator: Gary T. Leavens

Private: No

The measured_by clause isn't executed by jmlc.

Discussion

Gary T. Leavens - 2008-03-10

assigned_to: cheon --> nobody
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.