path	# lines of code
smt2patch/Cargo.toml	26
smt2patch/src/lib.rs	93
smt2patch/src/main.rs	17
Cargo.toml	12
rustfmt.toml	2
z3tracer/Cargo.toml	33
z3tracer/src/error.rs	99
z3tracer/src/lib.rs	10
z3tracer/src/report.rs	285
z3tracer/src/main.rs	306
z3tracer/src/syntax.rs	315
z3tracer/src/lexer.rs	470
z3tracer/src/parser.rs	283
z3tracer/src/model.rs	726
smt2parser/Cargo.toml	31
smt2parser/src/concrete.rs	1157
smt2parser/src/visitors.rs	505
smt2parser/src/rewriter.rs	934
smt2parser/src/lib.rs	130
smt2parser/src/renaming.rs	70
smt2parser/src/main.rs	116
smt2parser/src/stats.rs	490
smt2parser/src/lexer.rs	381
smt2parser/src/parser.rs	437
smt2proxy/Cargo.toml	25
smt2proxy/src/lib.rs	231
smt2proxy/src/main.rs	219