diff options
Diffstat (limited to 'eiffel-fragen/replaceability/replaceability.ecf')
| -rw-r--r-- | eiffel-fragen/replaceability/replaceability.ecf | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/eiffel-fragen/replaceability/replaceability.ecf b/eiffel-fragen/replaceability/replaceability.ecf new file mode 100644 index 0000000..1cd86ef --- /dev/null +++ b/eiffel-fragen/replaceability/replaceability.ecf | |||
| @@ -0,0 +1,21 @@ | |||
| 1 | <?xml version="1.0" encoding="ISO-8859-1"?> | ||
| 2 | <system xmlns="http://www.eiffel.com/developers/xml/configuration-1-7-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-7-0 http://www.eiffel.com/developers/xml/configuration-1-7-0.xsd" name="replaceability" uuid="ABD750A4-A528-4FEE-A7EA-37791A0D0F37"> | ||
| 3 | <target name="replaceability"> | ||
| 4 | <description>replaceability test</description> | ||
| 5 | <root class="TEST" feature="run"/> | ||
| 6 | <version major="0" minor="1" release="0" build="0" product="TEST"/> | ||
| 7 | <option warning="true" is_attached_by_default="true" void_safety="all"> | ||
| 8 | <assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/> | ||
| 9 | </option> | ||
| 10 | <setting name="console_application" value="true"/> | ||
| 11 | <precompile name="precompile" location="$ISE_PRECOMP\base.ecf"/> | ||
| 12 | <library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/> | ||
| 13 | <cluster name="replaceability" location=".\" recursive="true"> | ||
| 14 | <file_rule> | ||
| 15 | <exclude>/EIFGENs$</exclude> | ||
| 16 | <exclude>/CVS$</exclude> | ||
| 17 | <exclude>/.svn$</exclude> | ||
| 18 | </file_rule> | ||
| 19 | </cluster> | ||
| 20 | </target> | ||
| 21 | </system> | ||
