Scippy

UG

Ubiquity Generator framework

Debugging

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. Consider the following example:

    {src/scip/cons_linear.c,SnippetDebugAssertions}

  • Compile UG in debug mode and run it with RR (Record and Replay) or your favourite debug tool.