diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-03 19:58:25 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-03 19:58:25 -0700 |
| commit | 50095be5ac2c1b9830a74c87fd0d8e2edc8b8438 (patch) | |
| tree | 06e61100033466fac89fadda0eeb22dff338c8bf /src/sat/bmc/bmcCexMin1.c | |
| parent | a59968ce8c55618ca7c84972faacba31c591a39f (diff) | |
| download | abc-50095be5ac2c1b9830a74c87fd0d8e2edc8b8438.tar.gz abc-50095be5ac2c1b9830a74c87fd0d8e2edc8b8438.tar.bz2 abc-50095be5ac2c1b9830a74c87fd0d8e2edc8b8438.zip | |
Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>).
Diffstat (limited to 'src/sat/bmc/bmcCexMin1.c')
0 files changed, 0 insertions, 0 deletions