/[eiffelstudio]/branches/eth/eve/eweasel/tests/rdtp001/test_loop.e
ViewVC logotype

Diff of /branches/eth/eve/eweasel/tests/rdtp001/test_loop.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 92810 by jasonw, Sat Jun 5 13:52:53 2010 UTC revision 92811 by jasonw, Fri Jul 26 04:35:53 2013 UTC
# Line 264  feature Line 264  feature
264                                  -- No Invariant, Exit_condition                                  -- No Invariant, Exit_condition
265                          b := across                          b := across
266                                  a as c                                  a as c
                         from  
                                 i := 5  
267                          all                          all
268                                  c.item = 3                                  c.item = 3
269                          variant                          variant
# Line 274  feature Line 272  feature
272                                  -- No Invariant, Variant                                  -- No Invariant, Variant
273                          b := across                          b := across
274                                  a as c                                  a as c
                         from  
                                 i := 5  
275                          until                          until
276                                  i = 3                                  i = 3
277                          all                          all
# Line 284  feature Line 280  feature
280                                  -- No Exit_condition, Variant                                  -- No Exit_condition, Variant
281                          b := across                          b := across
282                                  a as c                                  a as c
                         from  
                                 i := 5  
283                          invariant                          invariant
284                                  c /= Void                                  c /= Void
285                          all                          all
# Line 343  feature Line 337  feature
337                                  -- No Invariant, Exit_condition                                  -- No Invariant, Exit_condition
338                          b := across                          b := across
339                                  a as c                                  a as c
                         from  
                                 i := 5  
340                          some                          some
341                                  c.item = 3                                  c.item = 3
342                          variant                          variant
# Line 353  feature Line 345  feature
345                                  -- No Invariant, Variant                                  -- No Invariant, Variant
346                          b := across                          b := across
347                                  a as c                                  a as c
                         from  
                                 i := 5  
348                          until                          until
349                                  i = 3                                  i = 3
350                          some                          some
# Line 363  feature Line 353  feature
353                                  -- No Exit_condition, Variant                                  -- No Exit_condition, Variant
354                          b := across                          b := across
355                                  a as c                                  a as c
                         from  
                                 i := 5  
356                          invariant                          invariant
357                                  c /= Void                                  c /= Void
358                          some                          some

Legend:
Removed from v.92810  
changed lines
  Added in v.92811

  ViewVC Help
Powered by ViewVC 1.1.23