CVS difference for ai12s/ai12-0191-1.txt
--- ai12s/ai12-0191-1.txt 2016/08/20 00:05:22 1.3
+++ ai12s/ai12-0191-1.txt 2016/10/03 03:57:29 1.4
@@ -301,4 +301,13 @@
know how to implement it without introducing distributed overhead and a lot
more implementation complexity than than this feature would be worth.
+****************************************************************
+
+From: Jeff Cousins
+Sent: Tuesday, August 23, 2016 9:34 AM
+
+Thanks for looking into that Steve. I think we have accepted that invariant
+checking can't check everything all of the time, and is just providing a
+limited number of check points.
+
***************************************************************
Questions? Ask the ACAA Technical Agent