diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-03 23:35:47 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-03 23:35:47 -0700 |
| commit | 71fd9165e39b5bda06e88d5bb545a3ef38c94e96 (patch) | |
| tree | a46a891100a51c7d74a3f7a447ae57688d9e6ce2 /src/sat/lsat | |
| parent | 5a20a27c620563e90694462df299dc3933844670 (diff) | |
| download | abc-71fd9165e39b5bda06e88d5bb545a3ef38c94e96.tar.gz abc-71fd9165e39b5bda06e88d5bb545a3ef38c94e96.tar.bz2 abc-71fd9165e39b5bda06e88d5bb545a3ef38c94e96.zip | |
Correctly updating the failed output when recording the CEX in bmc3 -a.
Diffstat (limited to 'src/sat/lsat')
0 files changed, 0 insertions, 0 deletions