diff --git a/Cargo.lock b/Cargo.lock index da64f8e3b..0f034d89d 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1175,7 +1175,6 @@ dependencies = [ "log", "rand", "rand_chacha", - "regex", "tempfile", ] diff --git a/simulator/Cargo.toml b/simulator/Cargo.toml index dcb948bbe..462ceaec7 100644 --- a/simulator/Cargo.toml +++ b/simulator/Cargo.toml @@ -22,5 +22,4 @@ log = "0.4.20" tempfile = "3.0.7" env_logger = "0.10.1" anarchist-readable-name-generator-lib = "0.1.2" -clap = { version = "4.5", features = ["derive"] } -regex = "1.10.5" \ No newline at end of file +clap = { version = "4.5", features = ["derive"] } \ No newline at end of file diff --git a/simulator/generation/plan.rs b/simulator/generation/plan.rs index 2a39ff759..7be3ad420 100644 --- a/simulator/generation/plan.rs +++ b/simulator/generation/plan.rs @@ -352,6 +352,7 @@ fn property_insert_select(rng: &mut R, env: &SimulatorEnv) -> Inte fn property_double_create_failure(rng: &mut R, env: &SimulatorEnv) -> Interactions { let create_query = Create::arbitrary(rng); + let table_name = create_query.table.name.clone(); let cq1 = Interaction::Query(Query::Create(create_query.clone())); let cq2 = Interaction::Query(Query::Create(create_query.clone())); @@ -361,12 +362,10 @@ fn property_double_create_failure(rng: &mut R, env: &SimulatorEnv) .to_string(), func: Box::new(move |stack: &Vec| { let last = stack.last().unwrap(); - println!("last: {:?}", last); match last { Ok(_) => false, Err(e) => { - let re = regex::Regex::new("Table .* already exists").unwrap(); - re.is_match(&e.to_string()) + e.to_string().contains(&format!("Table {table_name} already exists")) } } }),