Jussi Saurio
6c17fa2a5e
fix/sim: prevent sim from trying to create an existing table or index
...
We recently merged a change that panics the sim on parse errors, because
not doing so has masked many scenarios where the sim unintentionally
creates incorrect sql and we just ignore it.
We already have Property::DoubleCreateFailure to assert that the same table
cannot be created twice, so this should not hide any bugs.
2025-08-17 18:13:05 +03:00
alpaylan
9a921ed4b9
make the large table smaller
2025-07-15 09:56:27 -04:00
alpaylan
731e6e32e8
updates to the generator distribution
2025-07-14 01:27:01 -04:00
Pekka Enberg
53ba3ff926
Rename limbo_core crate to turso_core
2025-06-29 09:59:17 +03:00
Nils Koch
2827b86917
chore: fix clippy warnings
2025-06-23 19:52:13 +01:00
pedrocarlo
c82f4fa0bb
adjust creation of columns to avoid name collision
2025-06-11 11:32:18 -03:00
pedrocarlo
1410aaa0be
mostly fix binary predicate generation
2025-06-11 11:32:18 -03:00
pedrocarlo
6b58c4a33f
migrate to using limbo_core::Value inside Simulator
2025-06-11 11:32:18 -03:00
pedrocarlo
9f2608bded
remove previous predicate struct and rewrite generation with the new the struct
2025-06-11 11:32:17 -03:00
alpaylan
8490184644
add LIKE generation for supporting clauses
2025-02-01 12:34:31 -05:00
Jorge López
86a4714711
syntactic changes: remove unneeded paths when the type is already imported
2025-01-18 18:29:12 +01:00
alpaylan
c3ea02783d
- add doc comments to generation traits and functions
...
- remove pick_index from places where it's possible to use pick instead
- allow multiple values to be inserted in the insert-select property
2025-01-13 15:56:10 +03:00
alpaylan
43f6c34408
fix arbitrary_from ergonomics by removing the implicit reference in the trait signature
2025-01-13 14:43:12 +03:00
alpaylan
82fcc27a58
this commit fixes query generation;
...
- previous query generation method was faulty, producing wrong assertions
- this commit adds a new arbitrary_from implementation for predicates
- new implementation takes a table and a row, and produces a predicate that would evaluate to true for the row
this commit makes small changes to the main for increasing readability
2025-01-13 02:31:19 +03:00
alpaylan
d8ce88c057
fix clippy warning
2024-12-30 00:41:21 -05:00
adamnemecek
97647ff056
Clean up code to use Self
...
Closes #556
2024-12-29 10:07:38 +02:00
alpaylan
cb20ca7e40
fix formatting
2024-12-18 17:10:18 -05:00
alpaylan
39b5dbed55
change gen.range based queries into frequency and one_of calls
2024-12-18 17:09:44 -05:00
alpaylan
7d4d803a13
implement interaction plans
2024-12-17 18:24:39 -05:00
alpaylan
53ecedaceb
fix formatting
2024-12-16 10:49:56 -05:00
alpaylan
be18c6e8f0
break simulator into parts, add readme
2024-12-16 10:49:05 -05:00
