pedrocarlo 7bc0545442 default impl for get_memory_io

2025-08-19 10:48:21 -03:00

..

bugbase.rs

simulator should delete files after a successful run

2025-08-09 16:25:51 -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

default impl for get_memory_io

2025-08-19 10:48:21 -03: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