diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-09 11:35:04 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-09 11:35:04 -0700 |
| commit | 7c7d5277553a2a3ae074a767ba870f77e2415e1c (patch) | |
| tree | f0447a414b8f0bbc2b5c9d2e0220d369af55966b /src/sat/bmc/bmcCexMin1.c | |
| parent | 68566713da1f5eaf712caf06b3750d2e6f92ee43 (diff) | |
| download | abc-7c7d5277553a2a3ae074a767ba870f77e2415e1c.tar.gz abc-7c7d5277553a2a3ae074a767ba870f77e2415e1c.tar.bz2 abc-7c7d5277553a2a3ae074a767ba870f77e2415e1c.zip | |
Changing per-output runtime limit to be in miliseconds.
Diffstat (limited to 'src/sat/bmc/bmcCexMin1.c')
0 files changed, 0 insertions, 0 deletions