Open anirudhSK opened 5 years ago
We should add unit tests showing the benefits of #170 (outputting both old and new values of the stateful ALU) and #176 (removing the incorrect symmetry breaking asserts).
We should add unit tests showing the benefits of #170 (outputting both old and new values of the stateful ALU) and #176 (removing the incorrect symmetry breaking asserts).