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

Annotation of /trunk/eweasel/tests/except018/Ace

Parent Directory Parent Directory | Revision Log Revision Log


Revision 103101 - (hide annotations)
Mon Apr 29 14:01:20 2019 UTC (5 months, 3 weeks ago) by alexk
File size: 1241 byte(s)
Updated tests to use the new default for total order on real numbers.
1 manus 73813 <?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="E5DEB42C-08BC-4C75-BF67-49D770612A6E">
2     <target name="test">
3     <description>--| Copyright (c) 1993-2006 University of Southern California and contributors.
4     --| All rights reserved.
5     --| Your use of this work is governed under the terms of the GNU General
6     --| Public License version 2.
7     </description>
8     <root cluster="root_cluster" class="test" feature="make"/>
9     <option warning="true">
10 manus 98932 <assertions precondition="true" postcondition="false" check="true" invariant="false" loop="false"/>
11 manus 73813 <warning name="syntax" enabled="false"/></option>
12 manus 98912 <setting name="console_application" value="true"/>
13 alexk 103101 <setting name="total_order_on_reals" value="true"/>
14 manus 73813 <precompile name="precompile" location="$PRECOMPILED_BASE"/>
15     $EWEASEL_DOTNET_SETTING
16     <library name="base" location="$ISE_LIBRARY\library\base\base.ecf" use_application_options="true"/>
17     <cluster name="root_cluster" location="$CLUSTER\"/>
18     </target>
19 manus 98932 </system>

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23