.nyc_output

node_modules

dist

coverage

*.tgz

src/spec-lang/expr_parser.ts

src/spec-lang/annotation_parser.ts

src/spec-lang/typeString_parser.ts

src/rewriter/import_directive_parser.ts

.vscode/launch.json

test/multifile_samples/*/__scribble_ReentrancyUtils.sol