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

DropSelect property should only fail when error is not a parse error on the table name

Browse Source
This commit is contained in:
pedrocarlo
2025-10-06 00:10:55 -03:00
parent 7f93f64fc5
commit 3e8867c8f5
1 changed files with 9 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
simulator/generation/property.rs
View File

@@ -691,21 +691,21 @@ impl Property {
format!("select query should result in an error for table '{table}'"),
move |stack: &Vec<ResultSet>, _| {
let last = stack.last().unwrap();
dbg!(last);
match last {
Ok(success) => Ok(Err(format!(
"expected table creation to fail but it succeeded: {success:?}"
))),
Err(e) => {
if e.to_string()
.contains(&format!("Table {table_name} does not exist"))
Err(e) => match e {
LimboError::ParseError(e)
if e.contains(&format!("no such table: {table_name}")) =>
{
Ok(Ok(()))
} else {
Ok(Err(format!(
"expected table does not exist error, got: {e}"
)))
}
}
_ => Ok(Err(format!(
"expected table does not exist error, got: {e}"
))),
},
}
},
));
@@ -726,7 +726,7 @@ impl Property {
.into_iter()
.map(|q| Interaction::new(connection_index, InteractionType::Query(q))),
);
interactions.push(Interaction::new(connection_index, select));
interactions.push(Interaction::new_ignore_error(connection_index, select));
interactions.push(Interaction::new(connection_index, assertion));
interactions