diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-10-06 22:55:11 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-10-06 22:58:37 +0100 |
commit | 920e4ae07800e793d83df8c9dca05ce62f2943c7 (patch) | |
tree | 110b00beb1e7626d67b30a3155a53325de2010cd /src/VeriFuzz/Verilog | |
parent | 09fde96bb166b0e6b428aff9034b14f9b31f24eb (diff) | |
download | verismith-920e4ae07800e793d83df8c9dca05ce62f2943c7.tar.gz verismith-920e4ae07800e793d83df8c9dca05ce62f2943c7.zip |
Change benchmark information
Generation became ~8x slower because of the StateT Context Gen ==> GenT (State
Context) change.
Diffstat (limited to 'src/VeriFuzz/Verilog')
0 files changed, 0 insertions, 0 deletions