diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-26 16:57:42 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-26 16:57:42 -0700 |
commit | e5054fa757cef6b7f7bc43ab1d06ae9f15d0e993 (patch) | |
tree | 72ba85ab7948566347b0769f5bebab8f0671d7b9 /src/map/mio/exp.h | |
parent | d80071be843c8fad247daf8adb380a496d446b20 (diff) | |
download | abc-e5054fa757cef6b7f7bc43ab1d06ae9f15d0e993.tar.gz abc-e5054fa757cef6b7f7bc43ab1d06ae9f15d0e993.tar.bz2 abc-e5054fa757cef6b7f7bc43ab1d06ae9f15d0e993.zip |
Making sure 'pdr -a' return UNDEC if it did not finish proving the remaining outputs to be UNSAT.
Diffstat (limited to 'src/map/mio/exp.h')
0 files changed, 0 insertions, 0 deletions