Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-05-20 | Fix echo printing. (#6573) | Aina Niemetz | |
Previously, echo surpressed leading, trailing and escape quotes of the string to print. However, the SMT-LIB standard states that the string is to be printed as is, including those quote characters. |