Uses of Class
korat.testing.impl.TestCradle

Packages that use TestCradle

korat.testing.impl

Uses of TestCradle in korat.testing.impl

Subclasses of TestCradle in korat.testing.impl

class

TestCradleII

Fields in korat.testing.impl declared as TestCradle

private static TestCradle

TestCradle.instance

Methods in korat.testing.impl that return TestCradle

static TestCradle

TestCradle.getInstance()