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.