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
e69ab121e8
Added new test for cap.
2021-02-04 11:41:55 -08:00
Michael Whittaker
03b307d5f0
Added quorum system tests.
2021-01-31 21:55:05 -08:00
Michael Whittaker
a981d44d7f
Added strategy tests.
...
Also normalized make_strategy.
2021-01-31 21:24:55 -08:00
Michael Whittaker
32f5bb2125
Added quorum system tests + bug fix.
...
I was computing uniform strategies wrong. Looks like adding tests cases
was the right move!
2021-01-31 17:47:06 -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
Michael Whittaker
dced6388af
Added search procedure.
2021-01-31 12:31:22 -08:00
Michael Whittaker
a42bccaf0c
Tidied up code.
...
Some of the code was nasty. I cleaned it up a bit. I also started moving
tests into a tests/ directory. You can run python -m unittest to run
them. I still need to add more tests to make sure things are working as
expected.
2021-01-30 18:47:25 -08:00
