diff --git a/tests/simple/README.md b/tests/simple/README.md index 11732cae1..abf172e76 100644 --- a/tests/simple/README.md +++ b/tests/simple/README.md @@ -1,9 +1,5 @@ # Simple tests -## Failing - -- `wreduce`: need to fix - ## Disabled - `loops`: we handle latches differently than default diff --git a/tests/simple/wreduce.v.fail b/tests/simple/wreduce.v similarity index 100% rename from tests/simple/wreduce.v.fail rename to tests/simple/wreduce.v