Jussi Saurio c2deee1ce5 Merge 'Simulator: ALTER TABLE' from Pedro Muniz ...

Adds `ALTER TABLE` to the simulator. Currently, there are no properties
that generate `ALTER TABLE`. The query is only generated in
`Property::Query` or in extension queries.
Conditions to generate `ALTER TABLE`:
- In differential testing, do not generate `ALTER COLUMN` as SQLite does
not support it.
- If there is only 1 column, or all columns are present in indexes, do
not generate a `DROP COLUMN` as it would be an error in the database
- if there are no tables, obviously do not generate `ALTER TABLE`
Some fixes:
- handle NULL generation in `GTValue` and `LTValue`, as we now have to
handle nulls due to `ADD COLUMN` adding cols with NULL
- correctly compare NULLs in `binary_compare`

Closes #3650

2025-10-13 14:16:49 +03:00

..

bin

Fix whopper to work with encryption flag

2025-10-02 15:26:35 +05:30

Cargo.toml

enable encryption feature flag by default

2025-09-30 19:04:25 +05:30

io.rs

Update IO to track file sizes

2025-09-19 12:47:26 +05:30

main.rs

Merge 'Simulator: ALTER TABLE' from Pedro Muniz

2025-10-13 14:16:49 +03:00