/[eiffelstudio]/trunk/eweasel/tests/exec330/test2.e
ViewVC logotype

Annotation of /trunk/eweasel/tests/exec330/test2.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 84245 - (hide annotations)
Fri Aug 20 20:40:00 2010 UTC (9 years, 3 months ago) by dhollen
File size: 37 byte(s)
Added eweasel test exec330 for bug #(not yet available), where invoking an agent in
the class invariant of an expanded class results in a apparently spurious catcall warning.
See also bug #15453 (test exec307) for another spurious catcall warning.

1 dhollen 84245
2     class TEST2
3     feature
4     a: DOUBLE
5    
6     end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23