aljaz/turso
1
0
Fork 0
mirror of https://github.com/aljazceru/turso.git synced 2026-02-19 06:55:18 +01:00
Code Issues Packages Projects Releases Wiki Activity

FaultyQuery enabled by default

Browse Source
This commit is contained in:
pedrocarlo
2025-08-14 01:03:51 -03:00
parent 33ddae1877
commit 6388ed2017
3 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
simulator/generation/property.rs
View File

@@ -1509,7 +1509,7 @@ impl ArbitraryFrom<(&SimulatorEnv, &InteractionStats)> for Property {
Box::new(|rng: &mut R| property_fsync_no_wait(rng, env, &remaining_)),
),
(
if env.opts.enable_faulty_query {
if !env.opts.disable_faulty_query {
20.0
} else {
0.0

4
simulator/runner/cli.rs
View File

@@ -103,8 +103,8 @@ pub struct SimulatorCLI {
pub disable_union_all_preserves_cardinality: bool,
#[clap(long, help = "disable FsyncNoWait Property", default_value_t = true)]
pub disable_fsync_no_wait: bool,
#[clap(long, help = "enable FaultyQuery Property", default_value_t = false)]
pub enable_faulty_query: bool,
#[clap(long, help = "disable FaultyQuery Property", default_value_t = false)]
pub disable_faulty_query: bool,
#[clap(long, help = "disable Reopen-Database fault", default_value_t = false)]
pub disable_reopen_database: bool,
#[clap(

4
simulator/runner/env.rs
View File

@@ -241,7 +241,7 @@ impl SimulatorEnv {
disable_union_all_preserves_cardinality: cli_opts
.disable_union_all_preserves_cardinality,
disable_fsync_no_wait: cli_opts.disable_fsync_no_wait,
enable_faulty_query: cli_opts.enable_faulty_query,
disable_faulty_query: cli_opts.disable_faulty_query,
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,
@@ -414,7 +414,7 @@ pub(crate) struct SimulatorOpts {
pub(crate) disable_where_true_false_null: bool,
pub(crate) disable_union_all_preserves_cardinality: bool,
pub(crate) disable_fsync_no_wait: bool,
pub(crate) enable_faulty_query: bool,
pub(crate) disable_faulty_query: bool,
pub(crate) disable_reopen_database: bool,
pub(crate) max_interactions: usize,