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

  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_WMH03TOP; b: AUX_WMH03BOTTOM
    11. 

  11.       do
    12. 

  12.          create t
    13. 

  13.          t.execute
    14. 

  14.          create b
    15. 

  15.          b.execute
    16. 

  16.       end
    17. 

  17. 

  18. end -- class TEST_WMH03
    19.