| 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:jcook@cs.nmsu.edu (Jon Cook) |
See: [1]
