Updated 2015-01-06 00:06:29 by SEH
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 aggregate data structure.
Updated: 03/1997
Contact: mailto:[email protected] (Jon Cook)

See: [1]