Class UnsignedBigIntTest

java.lang.Object
de.tilman_neumann.jml.base.UnsignedBigIntTest

public class UnsignedBigIntTest
extends java.lang.Object
Test for UnsignedBigInt classes.
  • Constructor Summary

    Constructors
    Constructor Description
    UnsignedBigIntTest()  
  • Method Summary

    Modifier and Type Method Description
    static void main​(java.lang.String[] args)
    Test.

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  • Constructor Details

    • UnsignedBigIntTest

      public UnsignedBigIntTest()
  • Method Details

    • main

      public static void main​(java.lang.String[] args)
      Test.
      Parameters:
      args - ignored