--| 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. -- This is a test control file test_name insert-hash-table-zero test_description A class creates a hash table of ANY indexed by INTEGER. Inserting an element under index 0 causes a postcondition violation. copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e compile_melted compile_result ok execute_work NONE exec_output1 execute_result ok compare exec_output1 output test_end