PageRenderTime 5ms CodeModel.GetById 1ms app.highlight 1ms RepoModel.GetById 2ms app.codeStats 0ms

/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
 1class TEST_WMH01
 2   -- From a bug report of "Wai Ming, HO" <waimingh@irisa.fr>
 3
 4insert
 5   EIFFELTEST_TOOLS
 6
 7create {}
 8   make
 9
10feature {}
11   make
12      local
13         t: AUX_WMH01TOP; b: AUX_WMH01BOTTOM
14      do
15         create t
16         t.execute_once
17         assert(t.done1)
18
19         create b
20         b.execute_once
21         assert(not b.done1)
22         assert(b.done2)
23      end
24
25end -- class TEST_WMH01