|What:| AsserTcl|
| Where:| http://www.cs.nmsu.edu/~jcook/TclTk/|
----
1-5-2015:
 Access forbidden!

 You don't have permission to access the requested directory. There is either no index document or the directory is read-protected.

 If you think this is a server error, please contact the webmaster.
 Error 403
 www.cs.nmsu.edu
 Mon Jan 5 14:47:53 2015
 Apache/2.2.29 (Linux/SUSE) 
----

| 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: [https://github.com/crisafugate/assertcl]

<<categories>> Package | Debugging | Dev. Tools | Correctness