/test/language/unclassified/wmh/test_wmh05.e
http://github.com/tybor/Liberty · Specman e · 22 lines · 16 code · 5 blank · 1 comment · 0 complexity · 9c32f104d020c85569ba7311d6fa1474 MD5 · raw file
- class TEST_WMH05
- -- From a bug report of "Wai Ming, HO" <waimingh@irisa.fr>
- create {}
- make
- feature {}
- make
- do
- call_once_only
- end
- count: INTEGER
- call_once_only
- require
- count = 0
- do
- count := count + 1
- end
- end -- class TEST_WMH05