Skip to content

Commit 6cd53c7

Browse files
committed
Add deterministic native SQL and recovery property tests
Check predicates across statement families, runtime types, empty and staged views, prepared execution, and supported secondary indexes. Exercise reusable bindings, structured parameter data, and reproducible SQL mutations with failed-script row, catalog, revision, and reopen invariants. Sweep 282 simulated storage interruptions through indexed transactions and atomic scripts, checking complete old/new models and subsequent durable writes. All additions are test-only; no runtime dependencies or public API changes. Validation: npm run test:rust -- --locked (273 tests passed). Refs #11. Broader fuzzing and CI integration remain follow-up work.
1 parent c597497 commit 6cd53c7

3 files changed

Lines changed: 1098 additions & 0 deletions

File tree

‎crates/tinyjoin-core/src/lib.rs‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,11 @@ mod paged_transaction;
2020
mod pager;
2121
mod prepared_statement;
2222
mod query;
23+
#[cfg(test)]
24+
mod recovery_property_tests;
2325
mod revision;
26+
#[cfg(test)]
27+
mod semantic_property_tests;
2428
mod sql_script;
2529
mod statement;
2630
mod storage;

0 commit comments

Comments
 (0)