C.2 Script interface

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.

This document was generated by Phil Armstrong on May 17, 2012 using texi2html 1.82.