Test: adds environment variable to disable contract typechecking

This commit is contained in:
Milo Davis 2018-01-08 22:00:03 -05:00 committed by Benjamin Canou
parent 7b6d8c3db3
commit 311f10aa83

View File

@ -23,10 +23,13 @@ CONTRACT_PATH=contracts
printf "\n\n" printf "\n\n"
# Assert all contracts typecheck # Assert all contracts typecheck
for contract in `ls $CONTRACT_PATH/*.tz`; do if [ ! $NO_TYPECHECK ] ; then
printf "[Typechecking %s]\n" "$contract"; for contract in `ls $CONTRACT_PATH/*.tz`; do
${client} typecheck program "$contract"; printf "[Typechecking %s]\n" "$contract";
done ${client} typecheck program "$contract";
done
printf "All contracts are well typed\n\n"
fi
# FORMAT: assert_output contract_file storage input expected_result # FORMAT: assert_output contract_file storage input expected_result