The `fdrDirect.tcl' script in the `lib/fdr' directory provides basic commands to load a script from disk and perform refinement, deadlock, divergence and determinism checks on process terms. Using the commands will require writing Tcl scripts to achieve the desired results.
See the comments in the script file for details.
Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.