/test/language/unclassified/wmh/test_wmh02.e
http://github.com/tybor/Liberty · Specman e · 18 lines · 14 code · 3 blank · 1 comment · 0 complexity · 05df8e66bf7a3de0a8668ea47b1dc723 MD5 · raw file
- class TEST_WMH02
- -- From a bug report of "Wai Ming, HO" <waimingh@irisa.fr>
- create {}
- make
- feature {}
- make
- local
- t: AUX_WMH01TOP; b: AUX_WMH01BOTTOM
- do
- create t
- t.execute_once
- create b
- b.execute_once
- end
- end -- class TEST_WMH02