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 /README.md | |
| parent | e4ee48cf1077c0698cd7659ebf3bc84ba9596c79 (diff) | |
| download | verismith-4be7974ae71eb024977198b146f6052a1854541c.tar.gz verismith-4be7974ae71eb024977198b146f6052a1854541c.zip | |
Add some more stats
Diffstat (limited to 'README.md')
| -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 |