gov.nasa.jpf.util

Interface RunListener

public interface RunListener

little helper interface to facilitate resetting classes and objects between JPF runs, mostly to avoid memory leaks

Method Summary

Modifier and Type	Method and Description
void	reset(RunRegistry reg)

Method Detail

reset

void reset(RunRegistry reg)