diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-03 18:26:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-03 18:26:18 -0700 |
| commit | a59968ce8c55618ca7c84972faacba31c591a39f (patch) | |
| tree | 823746ec5dc4b32df384d9fd302105879440ec92 /src/proof/pdr/pdrCore.c | |
| parent | 0ca8a245da0c1dd73d5309e31c2a972abdbf9d96 (diff) | |
| download | abc-a59968ce8c55618ca7c84972faacba31c591a39f.tar.gz abc-a59968ce8c55618ca7c84972faacba31c591a39f.tar.bz2 abc-a59968ce8c55618ca7c84972faacba31c591a39f.zip | |
Adding runtime limit per output to multi-output BMC (bmc3 -H <num_sec>).
Diffstat (limited to 'src/proof/pdr/pdrCore.c')
0 files changed, 0 insertions, 0 deletions