caesar.open [caesar_opt] spec[.lotos] [cc_opt] declarator [depth]
exp.open [exp_opt] spec[.exp] [cc_opt] declarator [depth]
fsp.open [fsp_opt] spec[.lts] [cc_opt] declarator [depth]
lnt.open [lnt_opt] spec[.lnt] [cc_opt] declarator [depth]
seq.open [seq_opt] spec[.seq] [cc_opt] declarator [depth]
It checks the correctness of the C programs generated to implement the "caesar_graph.h" interface. It attempts to exercise all the types and functions defined in "caesar_graph.h", all of which should be implemented in the C code generated from the BCG graph spec.bcg, the LOTOS program spec.lotos, the composition expression spec.exp, the FSP program spec.lts, the LNT program spec.lnt, or the sequence file spec.seq.bcg_lib .
The options exp_opt, if any, are passed to exp.open .
The options fsp_opt, if any, are passed to fsp.open .
The options lnt_opt, if any, are passed to lnt.open .
The options seq_opt, if any, are passed to seq.open .
The options cc_opt, if any, are passed to the C compiler.
Option depth is an integer number denoting an upper bound: at most depth states are visited. By default, depth is equal to 10.
The source code of this tool can be found
in file $CADP/src/open_caesar/declarator.c
Additional information is available from the CADP Web page located at http://cadp.inria.fr
Directives for installation are given in files $CADP/INSTALLATION_*.
Recent changes and improvements to this software are reported and commented in file $CADP/HISTORY.Hubert.Garavel@inria.fr