This repo contains the tests written as part of the dapp.org audit of the OVM ECDSAContractAccount smart wallet, published at https://dapp.org.uk/reports/optimism.

To run the tests you will need to install nix, you can then enter a reproducible dev environment by running nix-shell from the repo root.

From within the nix shell you can use dapp to run the tests:

dapp test  # run tests
dapp debug # interactively debug a test

Tests demonstrating bugs are failing against the current implementation (bb3539b). Once all bugs have been corrected, this test suite should pass.