Merge in recent updates to TRAP FV properties.
authorSamuel A. Falvo II <kc5tja@arrl.net>
Tue, 21 Jul 2020 19:00:22 +0000 (12:00 -0700)
committerSamuel A. Falvo II <kc5tja@arrl.net>
Tue, 21 Jul 2020 19:00:22 +0000 (12:00 -0700)
commitf7347917a9bf3ab4bf0c10a92a4f1bb20eedfb32
treebfba8eb33d1379d6948c39cb900fde35a03fec2c
parent8a8656cda656db9cd5ed66537f03dda185b2b4f6
Merge in recent updates to TRAP FV properties.
src/soc/consts.py
src/soc/fu/trap/formal/proof_main_stage.py