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/map | |
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/map')
0 files changed, 0 insertions, 0 deletions