/[eiffelstudio]/trunk/eweasel/control/catalog
ViewVC logotype

Diff of /trunk/eweasel/control/catalog

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

revision 89315 by tedf, Tue Aug 7 08:59:31 2012 UTC revision 89316 by manus, Tue Aug 7 18:26:55 2012 UTC
# Line 2484  test   use-application-options-assertions Line 2484  test   use-application-options-assertions
2484  test    undefined-assertion-merge               assert003 tcf pass assertions  test    undefined-assertion-merge               assert003 tcf pass assertions
2485  test    false-postcondition                     assert004 tcf pass assertions execution unreachable_code  test    false-postcondition                     assert004 tcf pass assertions execution unreachable_code
2486  test    false-postcondition-on-empty-routine    assert005 tcf fails assertions execution unreachable_code  test    false-postcondition-on-empty-routine    assert005 tcf fails assertions execution unreachable_code
2487    test    supplier-preconditions-not-checked-after-invariant      assert006 tcf fails assertions execution
2488    
2489  -- Multi Constraint Tests  -- Multi Constraint Tests
2490  test    multi-constraint-basics                                                 multicon001 tcf pass multiconstraint  test    multi-constraint-basics                                                 multicon001 tcf pass multiconstraint

Legend:
Removed from v.89315  
changed lines
  Added in v.89316

  ViewVC Help
Powered by ViewVC 1.1.23