diff --git a/simulator/generation/property.rs b/simulator/generation/property.rs index b06a92e04..459a3d142 100644 --- a/simulator/generation/property.rs +++ b/simulator/generation/property.rs @@ -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 diff --git a/simulator/runner/cli.rs b/simulator/runner/cli.rs index b67b6fef3..1a79a121f 100644 --- a/simulator/runner/cli.rs +++ b/simulator/runner/cli.rs @@ -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( diff --git a/simulator/runner/env.rs b/simulator/runner/env.rs index c061cfc52..f5787bc57 100644 --- a/simulator/runner/env.rs +++ b/simulator/runner/env.rs @@ -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,