note
	description: "[
		Unit tests for {MUTEX}.
	]"
	author: "EiffelStudio test wizard"
	date: "$Date$"
	revision: "$Revision$"
	testing: "type/manual"

class
	THREAD_TEST_MUTEX

inherit
	THREAD_TEST_SET

feature -- Test routines

	test_destroy
			-- Test originally revealed using AutoTest.
		note
			testing:  "covers/{MUTEX}.destroy"
		local
			l_mutex: MUTEX
		do
			create l_mutex.make
			l_mutex.unlock
			l_mutex.destroy
		end

note
	copyright: "Copyright (c) 1984-2009, Eiffel Software and others"
	license:   "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
	source: "[
			 Eiffel Software
			 5949 Hollister Ave., Goleta, CA 93117 USA
			 Telephone 805-685-1006, Fax 805-685-6869
			 Website http://www.eiffel.com
			 Customer support http://support.eiffel.com
		]"
end