diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-06-29 16:18:32 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-06-29 16:18:32 +0100 |
commit | 4be7974ae71eb024977198b146f6052a1854541c (patch) | |
tree | 2885042c77639fc9380e29db644d2195f93e2464 | |
parent | e4ee48cf1077c0698cd7659ebf3bc84ba9596c79 (diff) | |
download | verismith-4be7974ae71eb024977198b146f6052a1854541c.tar.gz verismith-4be7974ae71eb024977198b146f6052a1854541c.zip |
Add some more stats
-rw-r--r-- | README.md | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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 |