diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-01-31 12:22:07 -0600 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-01-31 12:22:07 -0600 |
| commit | 2fda1f59b3f5c5d0d6d9b36ae206b8984fb6064c (patch) | |
| tree | 6c530a925e0e3a14751a63e6c3d50f12692425df /src/theory/rewriter_tables_template.h | |
| parent | c78fab9956d725bbc891366812031784ba86a626 (diff) | |
Substr fix: (= (str.substr "" 0 3) "xxx") should be SAT in the defintion of SMT-Lib
Diffstat (limited to 'src/theory/rewriter_tables_template.h')
0 files changed, 0 insertions, 0 deletions