Takuan Contributes to Daikon

We are glad to announce that the Takuan invariant suppression module has been integrated into Dakion core
Added by Manuel Palomo Duarte about 3 years ago

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.


Comments