Commit db4c76b

Daniel Kroening

authored

Merge pull request #5143 from diffblue/smt2_parser_table

SMT2 parser: use hash tables instead of if() ... else...

2 parents 357c1b1 + a8aa594 commit db4c76bCopy full SHA for db4c76b

3 files changed

+433

-447

lines changed

+433

-447

lines changed

Comments

(0)