Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/dapp-org/mooniswap-tests

Property based tests for the Mooniswap smart contracts
https://github.com/dapp-org/mooniswap-tests

Last synced: 3 months ago
JSON representation

Property based tests for the Mooniswap smart contracts

Awesome Lists containing this project

README

        

# Mooniswap tests

This repository contains property based tests writen as part of the Mooniswap audit.

To run these tests first [install nix](https://nixos.org/guides/install-nix.html), 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
```

## Development

Run `./dapp.sh` instead of `dapp` to fix imports etc.