Add support computation to invariants of type InterruptedByInvariant

ModelInference / synoptic

Inferring models of systems from observations of their behavior

Other

81 stars 25 forks source link

Add support computation to invariants of type InterruptedByInvariant #379

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

Issue 369 added support statistics mining and printing to the base set of 
Synoptic invariants. The newly added InterruptedByInvariant does not collect 
this information, and should be updated to do so.

Original issue reported on code.google.com by bestchai on 25 Jul 2014 at 1:20