Add Property-based Tests - Githubissues

makerdao / vote-delegate

GNU Affero General Public License v3.0

37 stars 29 forks source link

Add Property-based Tests #7

Closed naszam closed 3 years ago

naszam commented 3 years ago

Fuzz lock and free with delegator2
Fuzz delegate voting with delegate and delegator2