See: Description
Class | Description |
---|---|
AlterSpyPoint |
spy(X) / nospy(X) - add or remove a spy point for a predicate. |
Debugging |
debugging - lists current spy points. |
NoDebug |
nodebug - removes all current spy points. |
NoTrace |
notrace - disables exhaustive tracing. |
Trace |
trace - enables exhaustive tracing. |
Copyright © 2024. All rights reserved.