diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-09 14:17:19 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-09 14:17:19 -0800 |
commit | 32712ec9abb3f27e3bd00690838b054f5bdc0f77 (patch) | |
tree | 65aa30b35d6c7b976d31ed29597c13223f0a9510 /src/proof/pdr/pdrMan.c | |
parent | e20ef654d99d5cf1f0f73466b931d53833f6a1eb (diff) | |
download | abc-32712ec9abb3f27e3bd00690838b054f5bdc0f77.tar.gz abc-32712ec9abb3f27e3bd00690838b054f5bdc0f77.tar.bz2 abc-32712ec9abb3f27e3bd00690838b054f5bdc0f77.zip |
Making sure 'inv_out' can match flops by name.
Diffstat (limited to 'src/proof/pdr/pdrMan.c')
0 files changed, 0 insertions, 0 deletions