/test/language/unclassified/wmh/test_wmh01.e

http://github.com/tybor/Liberty · Specman e · 25 lines · 19 code · 5 blank · 1 comment · 0 complexity · a7f624716dd4dbc0f248b4e85d5ae509 MD5 · raw file 

    

  1. class TEST_WMH01
    2. 

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

  3. 

  4. insert
    5. 

  5.    EIFFELTEST_TOOLS
    6. 

  6. 

  7. create {}
    8. 

  8.    make
    9. 

  9. 

  10. feature {}
    11. 

  11.    make
    12. 

  12.       local
    13. 

  13.          t: AUX_WMH01TOP; b: AUX_WMH01BOTTOM
    14. 

  14.       do
    15. 

  15.          create t
    16. 

  16.          t.execute_once
    17. 

  17.          assert(t.done1)
    18. 

  18. 

  19.          create b
    20. 

  20.          b.execute_once
    21. 

  21.          assert(not b.done1)
    22. 

  22.          assert(b.done2)
    23. 

  23.       end
    24. 

  24. 

  25. end -- class TEST_WMH01
    26.