[Libre-soc-bugs] [Bug 745] OP_TERNARY instruction

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Wed Nov 24 21:04:35 GMT 2021


--- Comment #18 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---

jacob could you please remove that code entirely and use the standard
FHDLTestCase class just like all other formal correctness proofs,
which you should have known existed because you must have been
reading the source code and constantly examining it for over 2 years
now, so there is no excuse. 

again this is unnecessary duplicated code which has been written
and precious time has been wasted on more duplication, then more
time spent identifying the duplication, then more time asking you
to remove the duplication, and more time by you spent removing the

You are receiving this mail because:
You are on the CC list for the bug.

More information about the libre-soc-bugs mailing list