Client: rm attic/fail.tz (duplicate from macros/fail.tz) & improve TODO messages

src/bin_client/test/contracts/attic/fail.tz

@@ -1,5 +0,0 @@
-parameter unit;
-storage unit;
-code
-  { # This contract will never accept a incoming transaction
-    FAIL};

src/bin_client/test/test_contracts_attic.sh

@@ -44,24 +44,16 @@ assert_storage $contract_attic_dir/reverse.tz '{""}' '{ "c" ; "b" ; "a" }' '{ "a
 assert_storage $contract_attic_dir/loop_left.tz '{""}' '{}' '{}'
 assert_storage $contract_attic_dir/loop_left.tz '{""}' '{ "c" ; "b" ; "a" }' '{ "a" ; "b" ; "c" }'
 
-
-# TODO [a-k] contracts in attic
-
-# List of transactions
-# TODO
-
-
-# Queue
-# TODO
-
-# Reduce map
-# TODO
-
-# Reentrancy
-# TODO
-
-# Spawn identities
-# TODO
+# TODO add tests for
+# accounts.tz, add1_list.tz, add1.tz, after_strategy.tz, always.tz,
+# append.tz, at_least.tz, auction.tz, bad_lockup.tz,
+# big_map_union.tz, cadr_annotation.tz, concat.tz, conditionals.tz,
+# cons_twice.tz, cps_fact.tz, create_add1_lists.tz,
+# data_publisher.tz, dispatch.tz, empty.tz, fail_amount.tz,
+# faucet.tz, forward.tz, id.tz, infinite_loop.tz,
+# insertion_sort.tz, int_publisher.tz, king_of_tez.tz,
+# list_of_transactions.tz, queue.tz, reduce_map.tz, reentrancy.tz,
+# spawn_identities.tz
 
 printf "\nEnd of test\n"
 

src/bin_client/test/test_contracts_macros.sh

@@ -30,7 +30,7 @@ if [ ! $NO_TYPECHECK ] ; then
     printf "All contracts are well typed\n\n"
 fi
 
-# TODO macro_annotations.tz, min.tz, pair_macro.tz, take_my_money.tz, unpair_macro.tz
+# TODO add tests for fail.tz, macro_annotations.tz, min.tz, pair_macro.tz, take_my_money.tz, unpair_macro.tz
 
 # FORMAT: assert_output contract_file storage input expected_result
 

src/bin_client/test/test_contracts_mini_scenarios.sh

@@ -32,8 +32,10 @@ fi
 
 # FORMAT: assert_output contract_file storage input expected_result
 
-# TODO lockup, originator, parameterized_multisig, reservoir, scrutable_reservoir,
-# TODO weather_insurance, xcat_dapp, xcat
+# TODO add tests for the following contracts
+# lockup, originator, parameterized_multisig, reservoir, scrutable_reservoir,
+# weather_insurance, xcat_dapp, xcat
+# NB: hardlimit.tz is tested in test_basic.sh
 
 # Test replay prevention
 init_with_transfer $contract_scenarios_dir/replay.tz $key2 Unit 0 bootstrap1

src/bin_client/test/test_contracts_opcode.sh

@@ -32,6 +32,9 @@ fi
 
 # FORMAT: assert_output contract_file storage input expected_result
 
+# TODO add tests for map_car.tz, subset.tz
+# NB: noop.tz is tested in test_basic.sh
+
 assert_storage $contract_op_dir/ret_int.tz None Unit '(Some 300)'