diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-17 14:21:28 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-17 14:21:28 -0700 |
| commit | a03a726de2580b5a58610c4435129d4af66f1c84 (patch) | |
| tree | 5a367fd0857dc2e92eeecc2dc7efebc7b784b1e2 /src/misc/extra | |
| parent | dd867b404acec3d7e22663189bdf1108435a381d (diff) | |
| download | abc-a03a726de2580b5a58610c4435129d4af66f1c84.tar.gz abc-a03a726de2580b5a58610c4435129d4af66f1c84.tar.bz2 abc-a03a726de2580b5a58610c4435129d4af66f1c84.zip | |
Bug fix in writing latch init values in 'write_aiger'.
Diffstat (limited to 'src/misc/extra')
0 files changed, 0 insertions, 0 deletions