diff --git a/simulator/generation/plan.rs b/simulator/generation/plan.rs index f26fca8cc..f79b6fa5d 100644 --- a/simulator/generation/plan.rs +++ b/simulator/generation/plan.rs @@ -312,15 +312,21 @@ impl Interactions { } select.shadow(env); } - Property::DropSelect { table, queries, select } => { - let drop = Query::Drop(Drop { table: table.clone() }); + Property::DropSelect { + table, + queries, + select, + } => { + let drop = Query::Drop(Drop { + table: table.clone(), + }); drop.shadow(env); for query in queries { query.shadow(env); } select.shadow(env); - }, + } } for interaction in property.interactions() { match interaction { diff --git a/simulator/runner/env.rs b/simulator/runner/env.rs index fdd7b279c..f6cea1a96 100644 --- a/simulator/runner/env.rs +++ b/simulator/runner/env.rs @@ -28,7 +28,7 @@ impl SimulatorEnv { let (create_percent, read_percent, write_percent, delete_percent, drop_percent) = { let total = 100.0; - + let read_percent = rng.gen_range(0.0..=total); let write_percent = total - read_percent;