mirrors/limbo
1
0
Fork 0
mirror of https://github.com/tursodatabase/limbo.git synced 2025-08-04 18:18:03 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 13

add cli option to disable select optimizer

Browse source
This commit is contained in:
pedrocarlo 2025-06-06 19:24:59 -03:00
parent c82f4fa0bb
commit 9f601ccb18
4 changed files with 44 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

6
simulator/runner/cli.rs
View file

@ -58,6 +58,12 @@ pub struct SimulatorCLI {
pub disable_create_index: bool,
#[clap(long, help = "disable DROP Statement", default_value_t = false)]
pub disable_drop: bool,
#[clap(
long,
help = "disable Select-Select-Optimizer Property",
default_value_t = true // TODO: set this option to false after we have correctly asserted how this property should work
)]
pub disable_select_optimizer: bool,
}
#[derive(Parser, Debug, Clone, Serialize, Deserialize, PartialEq, PartialOrd, Eq, Ord)]

4
simulator/runner/env.rs
View file

@ -110,6 +110,7 @@ impl SimulatorEnv {
delete_percent,
drop_percent,
update_percent,
disable_select_optimizer: cli_opts.disable_select_optimizer,
page_size: 4096, // TODO: randomize this too
max_interactions: rng.gen_range(cli_opts.minimum_tests..=cli_opts.maximum_tests),
max_time_simulation: cli_opts.maximum_time,
@ -215,6 +216,9 @@ pub(crate) struct SimulatorOpts {
pub(crate) delete_percent: f64,
pub(crate) update_percent: f64,
pub(crate) drop_percent: f64,
pub(crate) disable_select_optimizer: bool,
pub(crate) max_interactions: usize,
pub(crate) page_size: usize,
pub(crate) max_time_simulation: usize,