/[eiffelstudio]/branches/eth/eve/eweasel/tests/incr382/test1.e
ViewVC logotype

Contents of /branches/eth/eve/eweasel/tests/incr382/test1.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 84268 - (show annotations)
Tue Aug 24 14:02:11 2010 UTC (9 years, 4 months ago) by jasonw
File size: 113 byte(s)
<<Merged from trunk#84267.>>
1
2 deferred class TEST1 [G]
3 feature
4 try
5 do
6 end
7
8 invariant
9 correct: ((agent : G do end).item ([])) = Void
10 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23