Uses of Interface
korat.testing.ITester

Packages that use ITester

korat.instrumentation
korat.testing.impl

Uses of ITester in korat.instrumentation

Methods in korat.instrumentation with parameters of type ITester

void	IKoratArray.initialize(ITester tester) Initializes array with ITester object to which the accessed field indexes will be reported
static void	KoratArrayManager.initializeArray(IKoratArray array, ITester tcListener)

Uses of ITester in korat.testing.impl

Classes in korat.testing.impl that implement ITester

class	TestCradle Given the Finitization, conducts tests for all regular candidates in domain state space
class	TestCradleII