projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 685b7fd) | patch
SPR: FV that should fail currently passes
authorSamuel A. Falvo II <kc5tja@arrl.net>
Tue, 14 Jul 2020 19:17:45 +0000 (12:17 -0700)
committerSamuel A. Falvo II <kc5tja@arrl.net>
Tue, 14 Jul 2020 19:17:45 +0000 (12:17 -0700)
commit769a8d5444f46cd093ff03645658198eaa8bd76d
tree6ba2793c4394d7135c7bf6f3e4766e35f4dfc26btree
parent685b7fd5982bc99eaa820c2b87639dd6ec6e9b8ecommit | diff
SPR: FV that should fail currently passes

WIP.  Cannot figure out why this is not failing.  Code review requested.
src/soc/fu/spr/formal/proof_main_stage.py [new file with mode: 0644] blob