Table of Contents

Name

scssc - Esterel topological sorter - Version v5_92

Synopsis

scssc [options] file ...

Description

scssc is the Esterel topological sorter. It produces an ssc format output from one or more sc format inputs. If there is no input file, the standard input stream is used. Typical use is:

scssc < game1.sc > game.ssc

or

scssc game1.sc game2.sc > game.ssc

Options

The following options are interpreted by scssc:
-allcycles
Print all causality cycles, if any. The default behavior is to stop when one cycle is found.
-s
Silent mode: perform the sorting but do not generate ssc code.
-stat
Print statistics on standard error stream: parsing time, sorting time, and memory usage.
-version
Print the version name on standard error stream and terminate, ignoring all other arguments.
-access
Print access rights on standard error stream and terminate, ignoring all other arguments.
-info
Print various informations about the processor on standard error stream and terminate, ignoring all other arguments.

See Also

Esterel documentations.
esterel(1) , lcsc(1) , sscoc(1) , sscc(1) , sscdebug(1)

Identification

Ecole des Mines de Paris (CMA) and INRIA.
Written by Valerie Roy and Gerard Berry. Updated by Xavier Fornari.


Table of Contents

Back To Main Manual Page