From e827635e34079c8ee9c9e7273a59c905274e553d Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 14 Nov 2019 16:49:42 +0000 Subject: Update bug reports --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') 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 -- cgit