Skip to content

Commit af2eedf

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

File tree

2 files changed

+294
-225
lines changed

2 files changed

+294
-225
lines changed

0 commit comments

Comments
 (0)