forge.tests
Class CoverageTest

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

public class CoverageTest
extends ForgeTest

Used to distinguish the coverage offered by the three different translation strategies.

Author:
Greg Dennis (gdennis@mit.edu)

Field Summary
 
Fields inherited from class forge.tests.ForgeTest
CONSTRAIN_STRATEGY, HYBRID_STRATEGY, INLINE_STRATEGY, NO_GLOBALS, NO_SCOPES
 
Constructor Summary
CoverageTest()
           
 
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
 

Constructor Detail

CoverageTest

public CoverageTest()
Method Detail

main

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