Java Modeling Language (JML) / Feature Requests / #123 Jmlspec should automatically add 'also' just when needed

priority: 4 --&gt; 3
assigned_to: davidcok --&gt; nobody

#123 Jmlspec should automatically add 'also' just when needed

Status: open

Owner: nobody

Module:

Priority: 3

Updated: 2013-10-27

Created: 2004-08-27

Private: No

Using the -A flag on jmlspec (or the default) one should
be able to have the 'also' added just when it's needed,
and not on all methods.