diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-09-11 20:31:25 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-09-11 20:31:25 -0500 |
| commit | 583bc4d71a403028d60fd676ce72c3c6d1e2e7fe (patch) | |
| tree | 874fd6c2a37ecafa907c7fb820617a3401de00de /src/aig/llb/llb4Cex.c | |
| parent | a7acb2f1046b24e9c6ad5b82a190f81e7bf4b0e8 (diff) | |
| download | abc-583bc4d71a403028d60fd676ce72c3c6d1e2e7fe.tar.gz abc-583bc4d71a403028d60fd676ce72c3c6d1e2e7fe.tar.bz2 abc-583bc4d71a403028d60fd676ce72c3c6d1e2e7fe.zip | |
Added limit on the number of flops to add in one iteration of &abs_cba.
Diffstat (limited to 'src/aig/llb/llb4Cex.c')
0 files changed, 0 insertions, 0 deletions