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

Diff of /trunk/eweasel/tests/assert001/Ace

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

revision 103060 by manus, Wed Jun 15 12:18:40 2016 UTC revision 103061 by alexk, Sun Apr 7 06:55:59 2019 UTC
# Line 1  Line 1 
1  <?xml version="1.0" encoding="ISO-8859-1"?><system xmlns="http://www.eiffel.com/developers/xml/configuration-1-0-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-0-0 http://www.eiffel.com/developers/xml/configuration-1-0-0.xsd" name="test" uuid="f570442b-c6c6-4d9f-8ea0-fe181104819e">  <?xml version="1.0" encoding="ISO-8859-1"?>
2    <system xmlns="http://www.eiffel.com/developers/xml/configuration-1-20-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-20-0 http://www.eiffel.com/developers/xml/configuration-1-20-0.xsd" name="test">
3          <target name="test">          <target name="test">
4                  <description>--| Copyright (c) 1993-2006 University of Southern California and contributors.                  <description>--| Copyright (c) 1993-2019 University of Southern California and contributors.
5  --| All rights reserved.  --| All rights reserved.
6  --| Your use of this work is governed under the terms of the GNU General  --| Your use of this work is governed under the terms of the GNU General
7  --| Public License version 2.  --| Public License version 2.
8  </description>  </description>
9                  <root cluster="root_cluster" class="test" feature="make"/>                  <root cluster="root_cluster" class="TEST" feature="make"/>
10                  <option warning="true">                  <option warning="true" full_class_checking="false" syntax="obsolete" manifest_array_type="mismatch_warning">
11                          <assertions precondition="false" postcondition="false" check="false" invariant="false" loop="false"/>                          <assertions/>
12                  <warning name="syntax" enabled="false"/></option>                          <warning name="syntax" enabled="false"/>
13                    </option>
14                  <setting name="console_application" value="true"/>                  <setting name="console_application" value="true"/>
                 <precompile name="precompile" location="$PRECOMPILED_BASE"/>  
15                  $EWEASEL_DOTNET_SETTING                  $EWEASEL_DOTNET_SETTING
16                    <capability>
17                            <concurrency support="none"/>
18                            <void_safety support="none"/>
19                    </capability>
20                    <precompile name="precompile" location="$PRECOMPILED_BASE"/>
21                  <library name="base" location="$ISE_LIBRARY\library\base\base.ecf" use_application_options="true"/>                  <library name="base" location="$ISE_LIBRARY\library\base\base.ecf" use_application_options="true"/>
22                  <cluster name="root_cluster" location="$CLUSTER\">                  <cluster name="root_cluster" location="$CLUSTER\">
23                          <class_option class="DA">                          <class_option class="DA">
24                                  <assertions precondition="false" postcondition="true" check="false" invariant="true" loop="false" supplier_precondition=$A_SUP/>                                  <assertions postcondition="true" invariant="true" supplier_precondition=$A_SUP/>
25                          </class_option>                          </class_option>
26                          <class_option class="DB">                          <class_option class="DB">
27                                  <assertions precondition="false" postcondition="false" check="false" invariant="true" loop="false" supplier_precondition=$B_SUP/>                                  <assertions invariant="true" supplier_precondition=$B_SUP/>
28                          </class_option>                          </class_option>
29                          <class_option class="X">                          <class_option class="X">
30                                  <assertions precondition="true" postcondition="false" check="false" invariant="true" loop="false" supplier_precondition="true"/>                                  <assertions precondition="true" invariant="true" supplier_precondition="true"/>
31                          </class_option>                          </class_option>
32                  </cluster>                  </cluster>
   
33          </target>          </target>
34  </system>  </system>

Legend:
Removed from v.103060  
changed lines
  Added in v.103061

  ViewVC Help
Powered by ViewVC 1.1.23