search

PiRSquared17 / synoptic

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

Synoptic outputSupportCount not working #390

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Running Synoptic with --outputSupportCount command does not display any 
information regarding support count of the invariants mined.

Original issue reported on code.google.com by bobyan...@gmail.com on 16 Oct 2014 at 4:04

GoogleCodeExporter commented 9 years ago 
Fixed in revision 55b049b747f7

Original comment by bobyan...@gmail.com on 27 Oct 2014 at 9:44