@codequotebacktick on
This is the user manual for the Daikon invariant detector. It describes Daikon version 4.7.7, released January 2, 2014.