Path	Lines of Code
impl/src/test/compile_runner.ts	60
impl/src/test/icpp_runner.ts	8
impl/src/test/smt_runner.ts	149
impl/src/test/test_runner.ts	537