/[eiffelstudio]/trunk/eweasel/tests/array012/Ace
ViewVC logotype

Diff of /trunk/eweasel/tests/array012/Ace

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

revision 103100 by alexk, Mon May 21 08:29:40 2018 UTC revision 103101 by alexk, Mon Apr 29 14:01:20 2019 UTC
# Line 6  Line 6 
6                          <assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>                          <assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
7                  </option>                  </option>
8                  <setting name="console_application" value="true"/>                  <setting name="console_application" value="true"/>
9                    <setting name="total_order_on_reals" value="true"/>
10                  <capability>                  <capability>
11                          <concurrency support="none"/>                          <concurrency support="none"/>
12                          <void_safety support="all"/>                          <void_safety support="all"/>

Legend:
Removed from v.103100  
changed lines
  Added in v.103101

  ViewVC Help
Powered by ViewVC 1.1.23