indexing
	description	: "Demonstration of the Testing Framework and Graphical Test Driver on three Test Cases"
	author: "Peter Brandt and Martin Geisler"
	date: "$Date: 2005-06-26 21:26:20 +0200 (Sun, 26 Jun 2005) $"
	revision: "$Revision: 107 $"

class
	TEST_DEMO

inherit
	GRAPHICAL_TEST_DRIVER

create
	run

feature -- Initialization

	run is
			-- Create and execute test cases
		do
			make
			add_test_case (create {ACCOUNT_DEPOSIT_TC})
			add_test_case (create {ACCOUNT_WITHDRAW_TC})
			add_test_case (create {EMPLOYEE_RECEIVE_SALARY_TC})
			execute
		end

end -- class TEST_DEMO