tvl-depot/tests/verify.sh