/[eiffelstudio]/trunk/eweasel/tests/assert006/a.e
ViewVC logotype

Contents of /trunk/eweasel/tests/assert006/a.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 89316 - (show annotations)
Tue Aug 7 18:26:55 2012 UTC (7 years, 4 months ago) by manus
File size: 305 byte(s)
New test (not yet failing though) showing a bug where preconditions will not be checked after checking an invariant.

1 class A
2 create
3 make
4 feature
5 make
6 do
7 create list.make (10)
8 list.extend (3)
9 list.finish
10 list.forth
11 end
12
13 f
14 do
15 -- In theory we should have a precondition violation here.
16 list.forth
17 end
18
19 list: ARRAYED_LIST [INTEGER]
20
21
22 invariant
23 has_occurrences: list.occurrences (1) = 0
24
25
26 end

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23