CVS difference for acats/new/b611007.a
--- acats/new/b611007.a 2016/03/29 06:12:09 1.2
+++ acats/new/b611007.a 2017/12/14 04:25:35 1.3
@@ -44,6 +44,8 @@
-- CHANGE HISTORY:
-- 24 Feb 2016 RLB Created test.
-- 28 Mar 2016 RLB Added error location codes.
+-- 12 Dec 2017 RLB Corrected test to avoid violating rule added by
+-- Binding Interpretation AI12-0166-1.
--
--!
package B611007 is
@@ -74,7 +76,7 @@
function Is_Open return Boolean;
- function Mode return Natural with Pre => Is_Open; -- OK. {41}
+ function Mode return Natural with Pre => D > 1; -- OK. {41}
function Foob (N : Natural) return Natural
with Pre'Class => N > D; -- ERROR: {15}
Questions? Ask the ACAA Technical Agent