forge.tests
Class ListTest

java.lang.Object
  forge.tests.ForgeTest
      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()