/[eiffelstudio]/branches/eth/eve/Src/framework/eiffel2boogie/tests/tests.ecf
ViewVC logotype

Contents of /branches/eth/eve/Src/framework/eiffel2boogie/tests/tests.ecf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 93597 - (show annotations)
Tue Dec 3 00:48:44 2013 UTC (5 years, 10 months ago) by julian
File size: 2184 byte(s)
AutoProof: special translation for lemma and functional
1 <?xml version="1.0" encoding="ISO-8859-1"?>
2 <system xmlns="http://www.eiffel.com/developers/xml/configuration-1-11-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-11-0 http://www.eiffel.com/developers/xml/configuration-1-11-0.xsd" name="autoproof-tests" uuid="B9FC6CC3-5F19-4CE1-9131-56A0455E9224">
3 <target name="tests">
4 <root all_classes="true"/>
5 <option warning="true" full_class_checking="false" is_attached_by_default="false" void_safety="none" syntax="transitional">
6 <assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
7 </option>
8 <setting name="console_application" value="true"/>
9 <library name="base-eve" location="$ISE_LIBRARY\library\base\base-eve.ecf" readonly="false"/>
10 <!-- <library name="base2-eve" location="$EIFFEL_SRC\unstable\library\base2\base2-eve.ecf" readonly="false"/>-->
11 <cluster name="autoproof_tests" location=".\">
12 <cluster name="basic" location=".\basic" recursive="true"/>
13 <cluster name="examples" location=".\examples" recursive="true"/>
14 <cluster name="framing" location=".\framing">
15 <cluster name="observer_one_to_one" location=".\framing\ownership\observer_one_to_one" recursive="true"/>
16 <cluster name="observer_one_to_many" location=".\framing\ownership\observer_one_to_many" recursive="true"/>
17 <cluster name="master_clock" location=".\framing\ownership\master_clock" recursive="true"/>
18 <cluster name="iterator" location=".\framing\ownership\iterator" recursive="true"/>
19 <cluster name="double_linked_list" location=".\framing\ownership\double_linked_list" recursive="true"/>
20 <cluster name="composite" location=".\framing\ownership\composite" recursive="true"/>
21 <cluster name="pip" location=".\framing\ownership\pip" recursive="true"/>
22 </cluster>
23 <cluster name="language" location=".\language" recursive="true"/>
24 <cluster name="advanced" location=".\advanced" recursive="true"/>
25 <file_rule>
26 <exclude>/EIFGENs$</exclude>
27 <exclude>/CVS$</exclude>
28 <exclude>/.svn$</exclude>
29 </file_rule>
30 </cluster>
31 </target>
32 </system>

Properties

Name Value
svn:eol-style native
svn:keywords Author Date ID Revision

  ViewVC Help
Powered by ViewVC 1.1.23