Package daikon.tools.compare

Class Summary

Class	Description
LogicalCompare	This is a standalone program that compares the invariants from two versions of (and/or runs of) a program, and determines using Simplify whether the invariants from one logically imply the invariants from the other.