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/misc/mvc/mvc.c | |
| 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/misc/mvc/mvc.c')
0 files changed, 0 insertions, 0 deletions