OCMIN(1)

NAME
ocmin - automata minimization

SYNOPSIS
ocmin file.oc [options]

DESCRIPTION

  ocmin
This tool performs state equivalence checking to reduce the size of the automaton. It takes either oc2 or oc5 files, and outputs the minimized automaton in the same format version; the default output file is module-name_min.oc.

OPTIONS

-v  set verbose mode

-o file
    define the output file (default is module-name_min.oc)

SEE ALSO
lustre, lus2ec, ecexe, luciole, simec, lus2oc, ec2oc, ocmin, lus2atg, oc2atg, ec2c, poc, lux, lesar, ecverif, xlesar