class TEST create make feature {NONE} -- Creation make -- Run tests. do array_force_1 array_force_2 array_force_3 end array_force_1 -- Precondition of area.move_data violated -- when forcing an element on the left into a non-empty array. -- FIXED local array: ARRAY [INTEGER] do create array.make_filled (0, 1, 10) array.force (1, -10) end array_force_2 -- Array size > 1 after forcing a single element into an enpty array -- (because upper bound considered to be 0 in an empty array). local array: ARRAY [INTEGER] do create array.make_empty array.force (10, 10) check array.count = 1 end end array_force_3 -- Not all new elements initialized with default value -- (off by one error) -- FIXED local array: ARRAY [INTEGER] do create array.make_filled (0, 1, 3) array [1] := 1 array [2] := 2 array [3] := 3 array.force (-2, -2) check array [0] = 0 end end end