Skip to content

Commit 4ddd58f

Browse files
romainbrenguierromainbrenguier
committed
Use smt2_commandt in smt2_conv
Allow better structure of the code and avoids syntaxic mistakes.
1 parent 3c9e1f9 commit 4ddd58f

File tree

2 files changed

+294
-225
lines changed

2 files changed

+294
-225
lines changed

0 commit comments

Comments
 (0)