Add invariant support counts to Perfume

[GoogleCodeExporter]

Synoptic allows outputting support counts for invariants, which can suggest 
which invariants are more fundamental to the system's behavior and which 
invariants might be anomalous. Perfume does not support storing (or outputting) 
support counts, although they could be useful in enhancing Perfume (e.g., only 
extend invariants with resource bounds if they have high support).

Add invariant support counts to Perfume.

Original issue reported on code.google.com by tonyohm...@gmail.com on 19 Nov 2014 at 8:23

[GoogleCodeExporter]

Original comment by tonyohm...@gmail.com on 19 Nov 2014 at 9:22

• Changed state: Started

[GoogleCodeExporter]

Fixed in revision 00b5f8b6fdaf.

Original comment by tonyohm...@gmail.com on 30 Apr 2015 at 12:28

• Changed state: Fixed