forge.tests
Class CreateTest

java.lang.Object
  extended by forge.tests.ForgeTest
      extended by forge.tests.CreateTest

public class CreateTest
extends ForgeTest

Author:
Greg Dennis (gdennis@mit.edu)

Field Summary
static InstanceDomain bucket
           
 
Fields inherited from class forge.tests.ForgeTest
CONSTRAIN_STRATEGY, HYBRID_STRATEGY, INLINE_STRATEGY, NO_GLOBALS, NO_SCOPES
 
Constructor Summary
CreateTest()
           
 
Method Summary
static void main(java.lang.String[] args)
           
 
Methods inherited from class forge.tests.ForgeTest
checkAllTest, checkSpec, checkTest, code, currOptions, name, newOptions, runAllTest, runSpec, runTest, setBounds, standardTest, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

bucket

public static final InstanceDomain bucket
Constructor Detail

CreateTest

public CreateTest()
Method Detail

main

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