Skip to content

Commit d141329

Browse files
romainbrenguierromainbrenguier
committed
Use smt2_commandt in smt2_conv
Allow better structure of the code and avoids syntaxic mistakes.
1 parent a1cf6f2 commit d141329

File tree

2 files changed

+293
-225
lines changed

2 files changed

+293
-225
lines changed

0 commit comments

Comments
 (0)