dxo

deleted it thx ☺️

This repo is not very actively supported, if that's something you feel you need I would recomend investigating foundry.

@MrChico why is voting for multiple proposals useful? This ability is hidden in the UI rn cos it's considered too confusing.

So I fixed the calldata size to 64 in an `if` block. `K` still got stuck on the same calldatasize checking lemmas as before, and I spent quite a long...

Thanks! The reason we haven't done this to date is that since `ds-test` is used in basically every dapptools project, and `dapp` currently expects that there is a single globally...

Test contracts are [excluded by default](https://github.com/dapphub/dapptools/blob/master/src/hevm/src/EVM/UnitTest.hs#L499) from invariant tests so I think we should be fine.

oh hehe, whoops I was sleepy this morning :woman_facepalming:. We also ignore contracts that have no code so `hevm` is not included in invariant tests by default.

We are already prefetching solc and building all contracts before we start benchmarking. I'm not sure I really understand the purpose of the environment repeatability script? What exactly is it...