theosotr / cynthia

Data-Oriented Differential Testing of ORM Systems.
GNU General Public License v3.0
14 stars 1 forks source link

Generate well-typed AQL expressions #21

Closed theosotr closed 4 years ago

theosotr commented 4 years ago

Currently, we generate arbitrary expressions without checking the types of sub-expressions. The postgres SQL dialect is typed, so many of the generated AQL queries are doomed to fail (e.g., for example when mixing char fields with interger fields).

We should add a CLI option (e.g., --well-typed) to generate well-typed AQL expressions.

theosotr commented 4 years ago

@StefanosChaliasos