/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

  1. class TEST_WMH02
  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_WMH01TOP; b: AUX_WMH01BOTTOM
  9. do
  10. create t
  11. t.execute_once
  12. create b
  13. b.execute_once
  14. end
  15. end -- class TEST_WMH02