The current InvariMint command line options are very basic -- parser args, as
well as an output filename. InvariMint should expose further functionality
through new command line options. Here are some options that come to mind:
- Whether or not to remove spurious edges from the InvariMint DFA, default = no.
- Whether or not to output the Synoptic NFA, default = no.
- Whether or not to output the Synoptic DFA, default =no.
- An input file with textual invariants to use instead of mining invariants
from a log file.
- If given a log file, use kTails to model the log instead of the mined
Synoptic invariants, default = no.
Original issue reported on code.google.com by bestchai on 28 Feb 2012 at 7:56
Original issue reported on code.google.com by
bestchai
on 28 Feb 2012 at 7:56