/[eiffelstudio]/trunk/eweasel/tests/exec311/test1.e
ViewVC logotype

Contents of /trunk/eweasel/tests/exec311/test1.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 78058 - (show annotations)
Thu Apr 2 23:05:16 2009 UTC (10 years, 9 months ago) by manus
File size: 95 byte(s)
Use the TEST1 class instead of STRING to check the invariant, that way we can verify that both
  melted and C code fails.

1 class
2 TEST1
3
4 feature
5
6 test: BOOLEAN
7 do
8 Result := True
9 end
10
11 invariant
12 test: test
13
14 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23