Parent Directory
|
Revision Log
Updated tests to use the new default for total order on real numbers.
1 | <?xml version="1.0" encoding="ISO-8859-1"?> |
2 | <system xmlns="http://www.eiffel.com/developers/xml/configuration-1-12-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-12-0 http://www.eiffel.com/developers/xml/configuration-1-12-0.xsd" name="test"> |
3 | <target name="test"> |
4 | <root class="TEST" feature="make"/> |
5 | <option void_safety="all"/> |
6 | <setting name="console_application" value="true"/> |
7 | <setting name="total_order_on_reals" value="true"/> |
8 | <precompile name="precompile" location="$PRECOMPILED_BASE_SAFE"/> |
9 | $EWEASEL_DOTNET_SETTING |
10 | <library name="base" location="$ISE_LIBRARY\library\base\base-safe.ecf"/> |
11 | <cluster name="root_cluster" location="$CLUSTER\"/> |
12 | </target> |
13 | </system> |
Name | Value |
---|---|
svn:eol-style | native |
ViewVC Help | |
Powered by ViewVC 1.1.23 |