aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'README.md')
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 78ce018..002736b 100644
--- a/README.md
+++ b/README.md
@@ -29,7 +29,7 @@ The fuzzer generates combinational and behavioural Verilog to test the various t
## Reported bugs
-9 bugs have been reported and confirmed to be bugs by the vendors, out of which 4 have been fixed.
+9 bugs have been reported and confirmed to be bugs by the vendors, out of which 4 have been fixed. 1 bug has also been found in the Icarus Verilog simulator as a side effect of using it to verify equivalence check results.
### Yosys