Manuel Rigger

Thank you for the detailed answer! I'll check if I can fix the bug under these constraints. Compiler builtins are actually supposed to always be available (if supported), even if...

Thank you for your quick responses! Unfortunately, the benchmark suite does not provide a mode where no 64-bit integers are used. Furthermore, the programs are not necessarily C89 compliant, so...

I believe the bug in `__builtin_types_compatible_p` stems from CIL, as we found the same bug there (see https://github.com/cil-project/cil/issues/44).

Sorry for not having responded yet - I will look into this asap.

The Postgres implementation is, unfortunately, one of the first ones I wrote in haste. After debugging the behavior, I also believe that it is broken. Ideally, the Postgres implementation would...

SQLancer does not support this at the moment, but it would be a valuable addition. Implementing this cleanly would take some effort, though. If you want to use an existing...

Great, I'll keep this open, because it might be useful to add this feature in the future!

Unfortunately, this is currently hard-coded (e.g., see https://github.com/sqlancer/sqlancer/blob/9663154bc01850f79bbf3002a8bbcc7aacb11aa2/src/sqlancer/sqlite3/SQLite3Provider.java#L187). I plan to add options for this (and different strategies) in the future.

It would be great to try that! I haven't and I'm not aware of anyone working on this. It would likely make it easier (but not necessary) to support PartiQL...

Thank you for the report! I still need to look at this in detail, but here are some clarifications/comments: > correctness bug log doesn't seem right A `*.log` file is...