diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-07 20:29:11 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-07 20:29:11 +0700 |
| commit | 99cc6ae9d235096140026f04d1fa5556db899fcb (patch) | |
| tree | 0ddd995720ffb0c8d8bbe2e45cf5a14b129c27fc /src/aig/kit | |
| parent | 36bc5703adc870bd6c8cb143dd638fe33a1e74b2 (diff) | |
| download | abc-99cc6ae9d235096140026f04d1fa5556db899fcb.tar.gz abc-99cc6ae9d235096140026f04d1fa5556db899fcb.tar.bz2 abc-99cc6ae9d235096140026f04d1fa5556db899fcb.zip | |
Crash fix in 'tempor' in case the leading length is 0.
Diffstat (limited to 'src/aig/kit')
0 files changed, 0 insertions, 0 deletions