chubbymaggie / synoptic

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

Expose a set of advanced Synoptic options in GWT #189

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
Synoptic supports numerous command line options that are not available in the 
web app interface. We can expose these through an advanced options tab, which 
can be minimized by default. Some relevant options to add to this tab are: (1) 
Ignore lines that are not matched by regular expressions, and (2) Only mine 
invariants (i.e., no refinement/coarsening).

As well, there are some advanced options that are enabled by the GWT interface, 
that were previously unavailable in the command line version of Synoptic. One 
of these is manual control over refinement and coarsening.

Original issue reported on code.google.com by bestchai on 9 Dec 2011 at 7:32

GoogleCodeExporter commented 9 years ago
Fixed in revision 97b1d5095564.

Original comment by bestchai on 11 Dec 2011 at 12:23