Jussi Saurio 746995f436 Merge 'Property FaultyQuery should fail if we encounter an error that is not expected' from Pedro Muniz ...

If we use `Assumption` here, the simulator just goes to the next
property instead of halting here.

Reviewed-by: Jussi Saurio <jussi.saurio@gmail.com>

Closes #2147

2025-07-17 23:44:44 +03:00

..

predicate

updates to the generator distribution

2025-07-14 01:27:01 -04:00

expr.rs

clippy + fmt

2025-07-15 09:57:55 -04:00

mod.rs

add random_expr for SELECT <expr>;

2025-07-14 18:48:02 -04:00

plan.rs

sim: provide additional context in assertion failures

2025-07-16 12:05:30 +03:00

property.rs

Merge 'Property FaultyQuery should fail if we encounter an error that is not expected' from Pedro Muniz

2025-07-17 23:44:44 +03:00

query.rs

simulator: Disable INSERT INTO .. SELECT for being slow

2025-07-17 09:20:00 +03:00

table.rs

make the large table smaller

2025-07-15 09:56:27 -04:00