[Abtools-devel] SF.net SVN: abtools:[158] BBENCH/JML

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

Revision: 158
          http://abtools.svn.sourceforge.net/abtools/?rev=158&view=rev
Author:   wahlst
Date:     2011-07-15 00:53:29 +0000 (Fri, 15 Jul 2011)

Log Message:
-----------
test case for VAR substitution

Added Paths:
-----------
    BBENCH/JML/VAR.mch
    BBENCH/JML/VARTEST.java


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