Changed markdown to rst, fixed a typo. Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
diff --git a/tests/net_attr/README.md b/tests/net_attr/README.md deleted file mode 100644 index 82a681f..0000000 --- a/tests/net_attr/README.md +++ /dev/null
@@ -1,3 +0,0 @@ -# Test for multiple occurrence of the same numerical net id in the "netnames" list. - -When connecting a singal through multiple wires Yosys assigns name of each of them to the same net id. Such a case triggered a bug in V2X causing it to crash. This test verifies that the reworked handling of "netnames" in V2X behaves properly.
diff --git a/tests/net_attr/README.rst b/tests/net_attr/README.rst new file mode 100644 index 0000000..9ff9d03 --- /dev/null +++ b/tests/net_attr/README.rst
@@ -0,0 +1,4 @@ +Test for multiple occurrence of the same numerical net id in the "netnames" list. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + +When connecting a signal through multiple wires Yosys assigns name of each of them to the same net id. Such a case triggered a bug in V2X causing it to crash. This test verifies that the reworked handling of "netnames" in V2X behaves properly.