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