The Esterel v5 21 System Manual - Courses

2.6. OPTIONS OF THE ESTEREL COMMAND 23
esterel -Icheck SingleError.strl
Two counter-examples are displayed, one for each signal that violates the
single emission property. Each counter-example is composed of an input
sequence and of a graphical presentation of the execution path that leads to
the error on the source code.
One can make this program correct by adding the relations
relation I0 # I1, I0 # I2;
to make the input signals exclusive. This is done in program SingleOk.strl
to be found in the distribution tape. The -Icheck option then stops complaining.
If the program is statically cyclic, running the -Icheck option followed
by the -causal option will perform twice the constructiveness check. One
can save time by checking constructiveness, checking single emission of single
signals, and generating code with one command line only using option
-single:
esterel -causal -single constructive.strl
2.6 Options of the esterel command
2.6.1 Version Identification
The first options are useful to print the compiler version.
-version Print the version of the compiler and auxiliary processors.
No compiling is performed.
-info Print extended information about the version compiler and auxiliary
processors.
No compiling is performed. Please join the output of the command
esterel -info to any bug report.
2.6.2 Verbose Compilation
The next option tells the esterel command to report facts about how
compiling goes.
-v Verbose mode.
Print the calls to the compiler processors.