search

ModelInference / synoptic

Inferring models of systems from observations of their behavior
Other
81 stars 25 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