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}