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

Annotation of /trunk/eweasel/tests/final120/Ace

Parent Directory Parent Directory | Revision Log Revision Log


Revision 89882 - (hide 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 manus 89882 <?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