projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e27715) | patch
Added luke's suggested code to cover all 3 assertions in proof_bperm.py
authorcolepoirier <colepoirier@gmail.com>
Tue, 19 May 2020 00:18:59 +0000 (17:18 -0700)
committercolepoirier <colepoirier@gmail.com>
Tue, 19 May 2020 00:18:59 +0000 (17:18 -0700)
commitfb4720571d7762a89c9b9f1681c99c0fe5f7d496
tree2bb610ae43df7e1d21cb70beae29838717a79da8tree
parent2e2771513cbcc4497c03f1f016d7b566e0fa0c89commit | diff
Added luke's suggested code to cover all 3 assertions in proof_bperm.py
src/soc/fu/logical/formal/proof_bperm.py diff | blob | history