summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--bank-eiffel/account.e2
-rw-r--r--bank-eiffel/tests/test_account.e2
2 files changed, 3 insertions, 1 deletions
diff --git a/bank-eiffel/account.e b/bank-eiffel/account.e
index 0a7d202..78a293f 100644
--- a/bank-eiffel/account.e
+++ b/bank-eiffel/account.e
@@ -18,7 +18,7 @@ create
18-- -> if not: add a getter (via Result or so..) and move them to {NONE} 18-- -> if not: add a getter (via Result or so..) and move them to {NONE}
19-- much other stuff to test like: lower creditline so that balance will be invalid 19-- much other stuff to test like: lower creditline so that balance will be invalid
20 20
21feature -- Access 21feature {NONE} -- Access
22 22
23 creditline_range: ARRAY[REAL_64] 23 creditline_range: ARRAY[REAL_64]
24 attribute Result := ({like creditline_range}).default end --| Remove line when Void Safety is properly set 24 attribute Result := ({like creditline_range}).default end --| Remove line when Void Safety is properly set
diff --git a/bank-eiffel/tests/test_account.e b/bank-eiffel/tests/test_account.e
index 3086402..6e65f52 100644
--- a/bank-eiffel/tests/test_account.e
+++ b/bank-eiffel/tests/test_account.e
@@ -39,6 +39,8 @@ feature -- Test routines
39 39
40 create account.make (person1, 1.0, 2.0, -50.0, deb_rng, dep_rng, cre) 40 create account.make (person1, 1.0, 2.0, -50.0, deb_rng, dep_rng, cre)
41 account.add_authorized_signer (person2) 41 account.add_authorized_signer (person2)
42
43
42 --assert ("not_implemented", False) 44 --assert ("not_implemented", False)
43 end 45 end
44 46