grandizzy

for windows is a little bit different, you have to set PYTHONPATH=%PYTHONPATH%;C:\My_python_lib see https://docs.python.org/3.6/using/windows.html#excursus-setting-environment-variables best way to do that would be to run tests in Docker containers (so will be...

@nican0r there is an initial check that does not count as fuzz run where we assert the invariant in its initial state, and if it fails we exit early. So...

Awesome, thank you, please link the other example if you can find it. Re unit test there's also the possibility of vm.prank missing and influencing scenario (but not likely to...

@nican0r I also see in the image you attached the vm.warp call which in invariant test was not preserved between calls until https://github.com/foundry-rs/foundry/pull/7219 This will be the default soon but...

No worries, it will be the default behaviour soon 👍

can't you just use `&& forge cache clean` to remove forks after proposal script is executed? https://book.getfoundry.sh/reference/forge/forge-cache

With latest PR changes foundry can catch DSChief bug in about 30 seconds (500 runs / 500 depth, missing it ~ 2 out of 10 times) and never missed in...

I went ahead and committed a change to collect and apply samples per result type and with this approach was able to reproduce the DSChief bug consistently in preliminary testing,...

> this makes a lot of sense, the next step should probably be to improve the way we handle logs and storage > I added logs decoding in https://github.com/foundry-rs/foundry/commit/d9d8619e7e45077dc7850d47f7609380bd175cc6 ,...

you should not get those if you set `dictionary_weight=0`, that is fuzzed calldata won't use state https://github.com/foundry-rs/foundry/blob/e5318c3054e5f883d1467da9fae5d29567a03d43/crates/evm/evm/src/executors/fuzz/mod.rs#L85-L89