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]
lotos.open [lotos_opt] spec[.lotos] [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 composition expression spec.exp, the FSP program spec.lts, the LNT program spec.lnt, the LOTOS program spec.lotos, 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
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