From 6f567bd2ef8aa403e24deac85f87fd0d00177637 Mon Sep 17 00:00:00 2001 From: alpaylan Date: Sun, 9 Feb 2025 09:34:32 -0500 Subject: [PATCH] fix formatting --- simulator/generation/plan.rs | 12 +++++++++--- simulator/runner/env.rs | 2 +- 2 files changed, 10 insertions(+), 4 deletions(-) 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;