/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. 

  2.    -- From a bug report of "Wai Ming, HO" <waimingh@irisa.fr>
    3. 

  3. 

  4. create {}
    5. 

  5.    make
    6. 

  6. 

  7. feature {}
    8. 

  8.    make
    9. 

  9.       local
    10. 

  10.          t: AUX_WMH01TOP; b: AUX_WMH01BOTTOM
    11. 

  11.       do
    12. 

  12.          create t
    13. 

  13.          t.execute_once
    14. 

  14.          create b
    15. 

  15.          b.execute_once
    16. 

  16.       end
    17. 

  17. 

  18. end -- class TEST_WMH02
    19.