Fix WREDUCE on FF not fixing ARST_VALUE parameter.
authorKeith Rothman <537074+litghost@users.noreply.github.com>
Fri, 22 Feb 2019 18:28:28 +0000 (10:28 -0800)
committerKeith Rothman <537074+litghost@users.noreply.github.com>
Fri, 22 Feb 2019 18:30:42 +0000 (10:30 -0800)
commit25680f6a078bb32f157bd580705656496717bafb
tree5a7166ce7bfd4385cd1fd9bd53b02291a85f8b85
parentd55790909c3b4244889d092c8eae630c7efd1aee
Fix WREDUCE on FF not fixing ARST_VALUE parameter.

Adds test case that fails without code change.

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
passes/opt/wreduce.cc
tests/opt/opt_ff.v [new file with mode: 0644]
tests/opt/opt_ff.ys [new file with mode: 0644]