add grev test and formal proof
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 17 Dec 2021 03:12:54 +0000 (19:12 -0800)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 17 Dec 2021 03:12:54 +0000 (19:12 -0800)
commit045a6b7f70f6b05e500a3b69793c8e955ea00702
tree4a1080bf1b9134bba3fb0278fb9def2be7713fa9
parent1db51206b69e5391bf6728120d56dec804f64541
add grev test and formal proof
src/nmutil/test/test_grev.py [new file with mode: 0644]