| commit | cc98af276749c99f2df99f4bdfcc4ce1239ead3a | [log] [tgz] |
|---|---|---|
| author | Trevor Hansen <trev_abroad@yahoo.com> | Fri May 31 15:11:15 2019 |
| committer | Trevor Hansen <trev_abroad@yahoo.com> | Fri May 31 15:11:15 2019 |
| tree | 05a8d415da07252e99b29eba3e1e939864d61059 | |
| parent | ca1105a2754d104a63392eca1a0abb0e7ac015b5 [diff] |
fix. wasn't printing success like it should on some smtlib commands.