/[eiffelstudio]/trunk/eweasel/tests/exec091/output
ViewVC logotype

Contents of /trunk/eweasel/tests/exec091/output

Parent Directory Parent Directory | Revision Log Revision Log


Revision 100465 - (show annotations)
Tue Jun 13 14:43:09 2017 UTC (2 years, 3 months ago) by alexk
File size: 318 byte(s)
Extended test with more cases:
	- expanded objects with references
	- special objects with expanded parameter

1 Basic
2 0: create invariant
3 1: create invariant
4 2: create invariant
5 3: invariant
6 invariant
7 4: create invariant
8 5: create invariant
9 create invariant
10
11 Reference
12 0: create invariant
13 1: create invariant
14 2: create invariant
15 3: invariant
16 invariant
17 4: create invariant
18 5: create invariant
19 create invariant
20
21 Execution completed

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23