Tests for Aave Umbrella

This repository serves as an example of tests written in a development and testing framework called Wake.

Setup

1. Clone this repository
2. git submodule update --init --recursive if not cloned with --recursive
3. cd aave-umbrella && yarn install && cd ..

Running fuzz tests

1. wake up pytypes to generate pytypes
2. wake test tests/test_fuzz.py::test_token to test excluding Umbrella contract
3. wake test tests/test_fuzz.py::test_umbrella to test including Umbrella contract
4. wake test tests/test_attack_example.py to test the acknowledged inflation attack finding.

The fuzz test can fail with overflow, which is an acknowledged finding.

Requires wake version 5.0.0 or later. Tested with revm. Fuzz tests expect a local Ethereum mainnet node running at http://localhost:8545.