diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-09 15:28:31 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-09 15:28:31 -0700 |
| commit | 56117d56e82f816eea5e261e47b0859372219972 (patch) | |
| tree | 2196cb6c58b0e25ebe93576a4e42900992b80b69 /src/proof/bbr/bbrReach.c | |
| parent | 4333fd24d2a45a7ea6d5825306284beb8086e839 (diff) | |
| download | abc-56117d56e82f816eea5e261e47b0859372219972.tar.gz abc-56117d56e82f816eea5e261e47b0859372219972.tar.bz2 abc-56117d56e82f816eea5e261e47b0859372219972.zip | |
Added switch '-p' to '&gla -n' to use full proof for UNSAT core computation (for experiments).
Diffstat (limited to 'src/proof/bbr/bbrReach.c')
0 files changed, 0 insertions, 0 deletions