Repository navigation
Create options to retain Initial, Terminal events #367
Description
Add opts InvariMint that the user can specify in order to retain Initial or
Terminal event types in invariant mining.
Right now these options will be used in conjunction with the specified property
type version of InvariMint.
Original issue reported on code.google.com by Caro.Lem...@gmail.com on 11 Mar 2014 at 6:35
Activity