note
	description: "[
		Eiffel tests that can be executed by testing tool.
	]"
	author: "EiffelStudio test wizard"
	date: "$Date$"
	revision: "$Revision$"
	testing: "type/manual"

class
	TEST_DBG_DECLARE

inherit
	EQA_TEST_SET

feature -- Test routines

	test_dbg_declare_1
		local
			ctx: LLVM_CONTEXT
			m: MODULE
			d: DBG_DECLARE
			s: RAW_STRING_OSTREAM
			s_result: STRING
		do
			create ctx
			create m.make ("test", ctx)
			create d.make (ctx, m)
			create s.make
			m.print (s)
			s_result := s.string
		end

	test_dbg_declare_1_expected: STRING_8 =
"[
; ModuleID = 'test'

declare void @llvm.dbg.declare(metadata, metadata) nounwind readnone

]"

end