Skip to content

Commit 239a335

Browse files
jmh5309il
authored andcommitted
Move asserts to contracts and give diagnostics (#15)
* Move asserts to contracts and give diagnostics * Adj assert messages * Fix travis
1 parent a1233ed commit 239a335

File tree

1 file changed

+195
-97
lines changed

1 file changed

+195
-97
lines changed

0 commit comments

Comments
 (0)