note
	description: "Summary description for {TESTS}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class 
	TEST_PLUS_ONE

inherit
	ES_TEST

create 
	make

feature {NONE} -- Initialization

	make
			-- Initialization for Current.
		do
			add_boolean_case (agent t0)
		end
	
feature -- tests

	t0: BOOLEAN
		local
			p: PLUS_ONE
			a: ARRAY [INTEGER_32]
		do
			comment ("t0: Test sum array of iterable arithmetic")
			a := <<2, 4, 5>>
			create p.make (a)
			Result := p.val = 246
		end
	
end -- class TEST_PLUS_ONE

Generated by ISE EiffelStudio