support string literal - Githubissues

uwdb / Cosette

Cosette is an automated SQL solver.

BSD 2-Clause "Simplified" License

666 stars 54 forks source link

Closed stechu closed 7 years ago

stechu commented 7 years ago

We should be able to support strings as literals. This wouldn't require supporting functions on strings.