aljaz/turso
1
0
Fork 0
mirror of https://github.com/aljazceru/turso.git synced 2026-02-12 03:34:20 +01:00
Code Issues Packages Projects Releases Wiki Activity

fix shrinking to not include some properties that are present in faulty query, but that are not relevant to the error

Browse Source
This commit is contained in:
pedrocarlo
2025-08-20 14:34:37 -03:00
parent fd4e74929a
commit ff51965c3e
1 changed files with 13 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
simulator/shrink/plan.rs
View File

@@ -56,6 +56,12 @@ impl InteractionPlan {
// Remove all properties that do not use the failing tables
plan.plan.retain_mut(|interactions| {
let retain = if idx == failing_execution.interaction_index {
if let Interactions::Property(
Property::FsyncNoWait { tables, .. } | Property::FaultyQuery { tables, .. },
) = interactions
{
tables.retain(|table| depending_tables.contains(table));
}
true
} else {
let mut has_table = interactions
@@ -73,9 +79,13 @@ impl InteractionPlan {
| Property::DropSelect { queries, .. } => {
queries.clear();
}
Property::FsyncNoWait { tables, .. }
| Property::FaultyQuery { tables, .. } => {
tables.retain(|table| depending_tables.contains(table));
Property::FsyncNoWait { tables, query }
| Property::FaultyQuery { tables, query } => {
if !query.uses().iter().any(|t| depending_tables.contains(t)) {
tables.clear();
} else {
tables.retain(|table| depending_tables.contains(table));
}
}
Property::SelectLimit { .. }
| Property::SelectSelectOptimizer { .. }