From 4be7974ae71eb024977198b146f6052a1854541c Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 29 Jun 2019 16:18:32 +0100 Subject: Add some more stats --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index 2853f29..13addac 100644 --- a/README.md +++ b/README.md @@ -16,6 +16,9 @@ and the following simulator: ## Reported bugs +21 bugs were found in total over the course of a month. 8 of those bugs were +reported and 3 were fixed. + - **MS** :: Mis-synthesis - **C** :: Crash -- cgit