diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-07 14:20:25 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-07 14:20:25 -0700 |
| commit | 22ada3b2b7667c376404b4c870307dd9717563b2 (patch) | |
| tree | 3d543b0a8ed0376bd313596aa80725a77e1f415b /src/proof/dch/dchMan.c | |
| parent | 7753e097f991b321e6e912b7db1f5f1e0f64ba9d (diff) | |
| download | abc-22ada3b2b7667c376404b4c870307dd9717563b2.tar.gz abc-22ada3b2b7667c376404b4c870307dd9717563b2.tar.bz2 abc-22ada3b2b7667c376404b4c870307dd9717563b2.zip | |
Adding command to dump UNSAT core of BMC instance.
Diffstat (limited to 'src/proof/dch/dchMan.c')
0 files changed, 0 insertions, 0 deletions