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