/node_modules
/.proof.out
/coverage
/t/tmp