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

    Modifier and Type Method Description
    void setup()  
    void testRound()  

    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()