add replaceabality test

1 files changed, 0 insertions, 21 deletions

diff --git a/eiffel-fragen/nachbedingung/nachbedingung.ecf b/eiffel-fragen/nachbedingung/nachbedingung.ecf
deleted file mode 100644
index d55b076..0000000
--- a/eiffel-fragen/nachbedingung/nachbedingung.ecf
+++ /dev/null
@@ -1,21 +0,0 @@
-<?xml version="1.0" encoding="ISO-8859-1"?>
-<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="nachbedingung" uuid="9ECF2BF2-5CA9-4126-B34E-978C47241CCD">
-        <target name="nachbedingung">
-                <root feature="make" class="APPLICATION"/>
-                <option warning="true">
-                        <assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
-                </option>
-                <precompile name="base_pre" location="$ISE_PRECOMP/base.ecf"/>
-                <library name="base" location="$ISE_LIBRARY/library/base/base.ecf"/>
-                <cluster name="nachbedingung" location=".\" recursive="true">
-                        <file_rule>
-                                <exclude>/EIFGENs$</exclude>
-                                <exclude>/.svn$</exclude>
-                                <exclude>/CVS$</exclude>
-                        </file_rule>
-                </cluster>
-        </target>
-        <target name="nachbedingung_dotnet" extends="nachbedingung">
-                <setting name="msil_generation" value="true"/>
-        </target>
-</system>