add formal proof for MultiPriorityPicker
authorJacob Lifshay <programmerjake@gmail.com>
Thu, 4 Aug 2022 04:09:53 +0000 (21:09 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Thu, 4 Aug 2022 04:09:53 +0000 (21:09 -0700)
commite91a7d4caaeaf3e870a6ed5223d5241298751217
tree47d65b5ef07750af3fb61968b7f6154ec1bc448b
parent406a59ee96b948810f274151808c1551517d28f2
add formal proof for MultiPriorityPicker
src/nmutil/formal/test_picker.py
src/nmutil/picker.py