corrections to trap proof see
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Tue, 21 Jul 2020 09:50:37 +0000 (10:50 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Tue, 21 Jul 2020 09:50:37 +0000 (10:50 +0100)
commit6530c0ccadadf834dc66e95941ae27c01de52da4
tree9f99b751f384d8f28fd4d041f476802b2e816f19
parent2595e209a67e8721436bbb4caeadf2ae0e9d90b1
corrections to trap proof see
https://bugs.libre-soc.org/show_bug.cgi?id=421#c17 and
https://bugs.libre-soc.org/show_bug.cgi?id=421#c18
src/soc/fu/trap/formal/proof_main_stage.py