indexing
	description: "Test of `deposit' in `ACCOUNT'"
	author: "Peter Brandt and Martin Geisler"
	date: "$Date: 2005-06-25 13:47:45 +0200 (Sat, 25 Jun 2005) $"
	revision: "$Revision: 96 $"

class
	ACCOUNT_DEPOSIT_TC

inherit
	TEST_CASE

feature -- Basic operations

	execute_test is
			-- Test `deposit' in `ACCOUNT'
		local
			account: ACCOUNT
		do
			create account.make (42)
			-- Test normal deposit
			account.deposit (10)
			-- Test empty deposit
			account.deposit (0)
		end

feature {NONE} -- Implementation

end -- class ACCOUNT_TC