What: AsserTcl
Where: http://www.cs.nmsu.edu/~jcook/TclTk/
Description: Tcl 7.6 source code extension to add assertions for
self checking programs. Package includes point assertions,
procedure input assumptions, procedure output and return value
assurances, and variable lifetime assertions.
Additionally, quantifier commands are available to test whether
an expressions holds universally or existentially over a data
structure such as a list or array aggreggate data structure.
Updated: 03/1997
Contact: mailto:[email protected] (Jon Cook)