--- ai12s/ai12-0049-1.txt 2013/06/29 02:19:58 1.5 +++ ai12s/ai12-0049-1.txt 2013/10/24 00:20:19 1.6 @@ -106,6 +106,10 @@ An ACATS C-Test should be created to test that the invariant check fails in the example from the !question. +!ASIS + +No ASIS impact. + !appendix From: Tucker Taft