--- ai05s/ai05-0146-1.txt 2011/05/07 01:57:07 1.14 +++ ai05s/ai05-0146-1.txt 2012/03/27 01:55:20 1.15 @@ -416,6 +416,10 @@ An C-Test is needed to check that invariants are tested at approproiate places. +!ASIS + +No change needed. + !appendix From: Tucker Taft