diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-20 16:41:01 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-20 16:41:01 +0700 |
| commit | 38214f01c20227cfca6617c4b2ac55e090ec47fa (patch) | |
| tree | fca3c5fed8825492126ba14c50bfb21c3996b22c /src/opt/nwk | |
| parent | 6ecc71f8f997cfdf182e356fa271051c87d41d78 (diff) | |
| download | abc-38214f01c20227cfca6617c4b2ac55e090ec47fa.tar.gz abc-38214f01c20227cfca6617c4b2ac55e090ec47fa.tar.bz2 abc-38214f01c20227cfca6617c4b2ac55e090ec47fa.zip | |
Do not allow quitting bmc3 after exploring 2^<num_ff> frames if jump-forward is enabled.
Diffstat (limited to 'src/opt/nwk')
0 files changed, 0 insertions, 0 deletions