[Abtools-devel] SF.net SVN: abtools:[177] BBENCH/JML/VARTEST.java

[<wa...@us...>]

Revision: 177
          http://abtools.svn.sourceforge.net/abtools/?rev=177&view=rev
Author:   wahlst
Date:     2011-08-18 21:38:15 +0000 (Thu, 18 Aug 2011)

Log Message:
-----------
example with correct translation of boolean literals

Modified Paths:
--------------
    BBENCH/JML/VARTEST.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.