Nikita Sivukhin c771487933 add remove_file method to the IO

2025-08-21 14:51:02 +04:00

..

bugbase.rs

sim: use 'git rev-parse --show-toplevel' for getting base dir

2025-08-20 09:58:21 +03:00

cli.rs

FaultyQuery enabled by default

2025-08-18 11:52:10 -03:00

clock.rs

cli options for max and min tick + adjust github action to run with faster clock so no timeouts happen

2025-07-17 12:25:31 -03:00

differential.rs

chore: fix clippy errors

2025-07-16 19:34:42 +01:00

doublecheck.rs

updates to the oracle implementations for differential and doublecheck, add integrity check to the end of the simulation, run cargo clippy --fix

2025-07-11 01:22:40 -04:00

env.rs

FaultyQuery enabled by default

2025-08-18 11:52:10 -03:00

execution.rs

Property TableHasExpectedContent should just check the expected

2025-08-18 16:00:59 -03:00

file.rs

add File path to SimulatorFile

2025-08-18 11:52:10 -03:00

io.rs

add remove_file method to the IO

2025-08-21 14:51:02 +04:00

mod.rs

modify clock to use simulated time instead

2025-07-17 12:24:43 -03:00

watch.rs

Add --keep-files flag and force Drop of database in simulator to prevent issues with the Registry

2025-08-15 17:54:40 -04:00