chubbymaggie / synoptic

Automatically exported from code.google.com/p/synoptic
0 stars 0 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