diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-06-13 02:28:46 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-06-13 02:28:46 +0000 |
| commit | 134c6dc95199bc57013d07e0992f89254f49038b (patch) | |
| tree | 85a499d310d222f1d6d84c8e35ba3be62b9cc78d /src/printer | |
| parent | 37a8af9ca9242be9417dd5cea15dd641d18f4b84 (diff) | |
benchmark to show that we don't rewrite bvsmod correctly
the definition in smtlib was buggy and was changed on 2011-06-15
check http://goedel.cs.uiowa.edu/smtlib/logics/QF_BV.smt2
Diffstat (limited to 'src/printer')
0 files changed, 0 insertions, 0 deletions