Skip to content

Commit f36bb2a

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

File tree

2 files changed

+294
-225
lines changed

2 files changed

+294
-225
lines changed

0 commit comments

Comments
 (0)