projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed818b3) | patch
WIP: FV failing for unknown reasons.
authorSamuel A. Falvo II <kc5tja@arrl.net>
Sat, 18 Jul 2020 04:09:52 +0000 (21:09 -0700)
committerSamuel A. Falvo II <kc5tja@arrl.net>
Sat, 18 Jul 2020 04:11:03 +0000 (21:11 -0700)
commit9d15035a9da34fcf00f0011a89e01ee5761219b0
treede43f18e6f791d8f3b589e465dff87251492f765tree
parented818b33fefe5c3d873ca80d72dc575ccb1d9b89commit | diff
WIP: FV failing for unknown reasons.

Can someone put a second pair of eyes on this code?  I don't understand
why FV is failing for the RFID instruction.  I've spent at least three
hours trying to diagnose this without success.
src/soc/fu/trap/formal/proof_main_stage.py diff | blob | history