search

tokencard / contracts

The Consumer Contract Wallet
GNU General Public License v3.0
94 stars 40 forks source link

Echidna tests #540

Closed nostdm closed 4 years ago

nostdm commented 4 years ago
mischat commented 4 years ago

I guess we need to make it so that it doesn't fail the build :)

mischat commented 4 years ago

I saw the output, I need to look at the tests.

nostdm commented 4 years ago

I forgot to push the latest changes, the tests should be passing now.

nostdm commented 4 years ago

Once we merge the other PRs I will rebase this from master

mischat commented 4 years ago

👍

nostdm commented 4 years ago

Going to recreate this PR to see if the CircleCI checks show up properly.