--| Copyright (c) 1993-2006 University of Southern California and contributors. --| All rights reserved. --| Your use of this work is governed under the terms of the GNU General --| Public License version 2. class TEST -- To reproduce error: -- Compile class as is. -- Switch types of `t' and `b' in TEST1 (i.e. change type of `t' -- to BOOLEAN and type of `b' to INTEGER). Save and rerun es3. -- When es3 reports violations of VWEQ and VWBE in class TEST, -- switch types of `t' and `b' back to what they were -- originally (when they were correct). Save and hit return. -- Es3 still reports the same validity violations even -- though there are none. -- Change class TEST without modifying it (add blank line and -- delete it), save and hit return again to es3. Es3 now -- realizes that everything is OK even though no class texts -- have been changed. Only date of TEST has changed. inherit TEST1; creation make feature make is do from until t /= 3 loop check b end end end; end