/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

  1. class TEST_WMH03
  2. -- From a bug report of "Wai Ming, HO" <waimingh@irisa.fr>
  3. create {}
  4. make
  5. feature {}
  6. make
  7. local
  8. t: AUX_WMH03TOP; b: AUX_WMH03BOTTOM
  9. do
  10. create t
  11. t.execute
  12. create b
  13. b.execute
  14. end
  15. end -- class TEST_WMH03