diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-11-03 18:02:32 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-11-03 18:02:32 -0800 |
commit | 6e6cc08becbe68734a3b38ae4dc0b56b020d0f39 (patch) | |
tree | 004fbc3549abd548e7f8bde18e36dbb3c9f6a1c3 /src/proof/pdr/pdr.c | |
parent | ce95366e513631b1b052b55c4f8e2e83ff7e4149 (diff) | |
download | abc-6e6cc08becbe68734a3b38ae4dc0b56b020d0f39.tar.gz abc-6e6cc08becbe68734a3b38ae4dc0b56b020d0f39.tar.bz2 abc-6e6cc08becbe68734a3b38ae4dc0b56b020d0f39.zip |
Improving resub window computation by always including the TFI of the pivot node.
Diffstat (limited to 'src/proof/pdr/pdr.c')
0 files changed, 0 insertions, 0 deletions