README.md

This project is a library of extension/utility methods for concisely representing Daikon invariants as Code Contracts.

To generate traces of .NET programs for use with Daikon, use the Celeriac front-end.