test_wmh05.e | searchcode

/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

 1class TEST_WMH05
 2   -- From a bug report of "Wai Ming, HO" <waimingh@irisa.fr>
 3
 4create {}
 5   make
 6
 7feature {}
 8   make
 9      do
10         call_once_only
11      end
12
13   count: INTEGER
14
15   call_once_only
16      require
17         count = 0
18      do
19         count := count + 1
20      end
21
22end -- class TEST_WMH05