diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-12 12:46:56 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-12 12:46:56 -0700 |
commit | e3d75484ce558d862f7dfc80de9e88b56360b084 (patch) | |
tree | ca66968c3c0455121efa00457438c0e6844293f3 /src/sat/psat/m114p.h | |
parent | 606341dca646b1f4282e19db20b62309e424477c (diff) | |
download | abc-e3d75484ce558d862f7dfc80de9e88b56360b084.tar.gz abc-e3d75484ce558d862f7dfc80de9e88b56360b084.tar.bz2 abc-e3d75484ce558d862f7dfc80de9e88b56360b084.zip |
Reversed to a buggy version of reduceDB in complete proof-logging, because it works with rollback and it is not used in &gla -pn -L 0.
Diffstat (limited to 'src/sat/psat/m114p.h')
0 files changed, 0 insertions, 0 deletions