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

do not shadow FaultyQuery's immediately. Only shadow them later

Browse Source
This commit is contained in:
pedrocarlo
2025-08-18 12:21:58 -03:00
parent c5dc26f542
commit 59da828362
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
simulator/generation/plan.rs
View File

@@ -123,11 +123,12 @@ impl Shadow for Interactions {
let mut is_error = false;
for interaction in property.interactions() {
match interaction {
Interaction::Query(query)
| Interaction::FsyncQuery(query)
| Interaction::FaultyQuery(query) => {
is_error = is_error || query.shadow(tables).is_err();
Interaction::Query(query) | Interaction::FsyncQuery(query) => {
if query.shadow(tables).is_err() {
is_error = true;
}
}
Interaction::FaultyQuery(..) => {}
Interaction::Assertion(_) => {}
Interaction::Assumption(_) => {}
Interaction::Fault(_) => {}