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.