This repository contains property based tests writen as part of the Mooniswap audit.
To run these tests first install nix, and then execute the following:
git clone --recursive https://github.com:dapp-org/mooniswap-tests.git && cd mooniswap-tests
nix-shell --pure --command make
The following test is expected to fail:
testReferalGainsOddity
Run ./dapp.sh
instead of dapp
to fix imports etc.