We are glad to announce that the Takuan invariant suppression module has been integrated into Daikon core.
Using this module, Daikon can received in its input a file containing a list of "already known" invariants. Then, during its execution it will not check them, saving time and providing a more accurate output.
New improvements, optimizations and some bugs fixed!
Version 1.0 of Takuan has been tagged in the main source area. To install it, download its installation script to any directory and run the following command from there:
This script has been tested with Ubuntu 9.10 and openSUSE 11.0.
Also available in: Atom