1 files changed, 13 insertions, 0 deletions

diff --git a/eiffel-fragen/replaceability/base.e b/eiffel-fragen/replaceability/base.e
new file mode 100644
index 0000000..61f0eb9
--- /dev/null
+++ b/eiffel-fragen/replaceability/base.e
@@ -0,0 +1,13 @@
+class
+        BASE
+
+feature
+        add10(num: INTEGER): INTEGER
+                require
+                        base_always_false: false -- always false
+                do
+                        RESULT := num + 10
+                ensure
+                        base_always_true: true
+                end
+end