Package de.tilman_neumann.jml.base
Class BigRationalTest
java.lang.Object
de.tilman_neumann.jml.base.BigRationalTest
public class BigRationalTest
extends java.lang.Object
-
Constructor Summary
Constructors Constructor Description BigRationalTest()
-
Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Constructor Details
-
BigRationalTest
public BigRationalTest()
-
-
Method Details
-
setup
public void setup() -
testRound
public void testRound()
-