chubbymaggie / synoptic

Automatically exported from code.google.com/p/synoptic
0 stars 0 forks source link

Create options to retain Initial, Terminal events #367

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
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