Test
Class CTLTest

java.lang.Object
  Test.CTLTest

public class CTLTest
extends java.lang.Object

Test harness for all test cases

Field Summary

private static boolean

verbose

Constructor Summary

CTLTest()

Method Summary

static void

main(java.lang.String[] args)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

verbose

private static boolean verbose

Constructor Detail

CTLTest

public CTLTest()

Method Detail

main

public static void main(java.lang.String[] args)