UTJML

Uses of Class
edu.utep.cs.utjml.rat.RatTestRunner.JmlResultPrinter

Packages that use RatTestRunner.JmlResultPrinter
edu.utep.cs.utjml.rat Contains the source code to generate test cases randomly for Java classes. 
 

Uses of RatTestRunner.JmlResultPrinter in edu.utep.cs.utjml.rat
 

Constructors in edu.utep.cs.utjml.rat with parameters of type RatTestRunner.JmlResultPrinter
RatTestResult(RatTestRunner.JmlResultPrinter printer)
          Constructs a new RatTestResult object.
 


UTJML

UTJML is Copyright (C) 2004-2006 by University of Texas at El Paso and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the JML project.