indexing
	description: "Test of `withdraw' 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_WITHDRAW_TC

inherit
	TEST_CASE

feature -- Basic operations

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

end -- class ACCOUNT_WITHDRAW_TC