Refine properties to comply with spec
authorSamuel A. Falvo II <kc5tja@arrl.net>
Tue, 21 Jul 2020 21:16:34 +0000 (14:16 -0700)
committerSamuel A. Falvo II <kc5tja@arrl.net>
Tue, 21 Jul 2020 21:16:34 +0000 (14:16 -0700)
commit9984b40168d554c6819adce1da187ec2066f90cf
tree06ad50fddfaffdd25a5b8314ea32f84ea51fc4ac
parentb2dfa48d32204efcd2ec59c708ea62bd428271a5
Refine properties to comply with spec
src/soc/consts.py
src/soc/fu/trap/formal/proof_main_stage.py
src/soc/fu/trap/main_stage.py