If you need to debug your own code that uses UG, here are some tips and tricks:
- Use asserts in your code to show preconditions for the parameters, invariants and postconditions. Assertions are boolean expressions which inevitably have to evaluate to
TRUE.
- Compile UG in debug mode and run it with RR (Record and Replay) or your favourite debug tool.
