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

Contents of /trunk/eweasel/tests/final120/Ace

Parent Directory Parent Directory | Revision Log Revision Log


Revision 89882 - (show annotations)
Sat Nov 10 00:23:49 2012 UTC (6 years, 7 months ago) by manus
File size: 1060 byte(s)
Added a new test showing that `a = b' could be False even if the function `a' and `b' are implemented to return the same object. This is because the result of `a' is not stored in a safe GC location and thus if `b' trigger a GC, the comparison is likely to fail.

1 <?xml version="1.0" encoding="ISO-8859-1"?>
2 <system xmlns="http://www.eiffel.com/developers/xml/configuration-1-5-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-5-0 http://www.eiffel.com/developers/xml/configuration-1-5-0.xsd" name="test">
3 <target name="test">
4 <root class="TEST" feature="make"/>
5 <option warning="false" full_class_checking="true" is_attached_by_default="true" void_safety="all">
6 <assertions precondition="false" postcondition="false" check="false" invariant="false" loop="false" supplier_precondition="false"/>
7 </option>
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 <class_option class="TEST">
13 <assertions invariant="true"/>
14 </class_option>
15 <class_option class="TEST2">
16 <assertions invariant="true"/>
17 </class_option>
18 </cluster>
19 </target>
20 </system>

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23