add rlwnm test showing that shift rot OP_RLC proof is incorrect.
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 1 Aug 2020 11:05:07 +0000 (12:05 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 1 Aug 2020 11:05:07 +0000 (12:05 +0100)
commit1d37414e3125754bcf1481657ba7820c03151aa7
tree6e425223ee1e2ae773d0c7836899f45a3df83a69
parent9634e33b004342f2d6a5d912e60816a3a7f622f8
add rlwnm test showing that shift rot OP_RLC proof is incorrect.
using same values as inputs from the proof
src/soc/fu/shift_rot/test/test_pipe_caller.py