This is the documentation for Clover 3.3. View this page for the

Unknown macro: {spacejump}

of Clover, or visit the latest Clover documentation.

Clover now provides improved source cross-referencing in HTML reports. Identifiers are looked up in the current scope and linked to the appropriate source where possible.

 

  • No labels