forge.tests
Class ListTest

java.lang.Object
  extended by forge.tests.ForgeTest
      extended by forge.tests.ListTest
Direct Known Subclasses:
ListTest.Looping, ListTest.Recursive

public abstract class ListTest
extends ForgeTest

Constructs a FIR program consisting of a list data structure and two implementations of the contains method, one that contains a loop and the other that contains a recursive call.


Nested Class Summary
static class ListTest.Looping
           
static class ListTest.Recursive
           
 
Field Summary
 
Fields inherited from class forge.tests.ForgeTest
CONSTRAIN_STRATEGY, HYBRID_STRATEGY, INLINE_STRATEGY, NO_GLOBALS, NO_SCOPES
 
Method Summary
 InstanceDomain listDomain()
           
static void main(java.lang.String[] args)
          Constructs the FIR and checks both of the contains procedures for any counterexamples within the bounds described above.
 
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
 

Method Detail

main

public static void main(java.lang.String[] args)
Constructs the FIR and checks both of the contains procedures for any counterexamples within the bounds described above.


listDomain

public InstanceDomain listDomain()