Commit graph

4 commits

Author SHA1 Message Date
Michael Whittaker
18f83b2188 Minor cosmetic changes. 2021-04-10 18:33:22 -07:00
Arun Sharma
7f980997ef Fixes for type check errors exposed by pyright
Use SupportsLessThan to indicate that TypeVar T should be
comparable.
2021-04-05 10:58:13 -07:00
Michael Whittaker
6ab449a555 Renamed quorums to quoracle. 2021-02-04 20:59:10 -08:00
Michael Whittaker
6d1b865b67 Added expr tests + bug fix.
I wasn't computing the resilience of a choose quorum system correctly.
I'm happy I decided to add some unit tests!
2021-01-31 17:28:14 -08:00