diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-30 12:24:30 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-30 12:24:30 -0700 |
| commit | d3a4dce10e89fa86f0feb2a7b53debdaa60fa3e4 (patch) | |
| tree | 725c0657404f52b38b30526e10fdd9aaed73cd4b /src/aig | |
| parent | cc7d3e3747f0e1f397945eaac63120401a49d5c1 (diff) | |
| download | abc-d3a4dce10e89fa86f0feb2a7b53debdaa60fa3e4.tar.gz abc-d3a4dce10e89fa86f0feb2a7b53debdaa60fa3e4.tar.bz2 abc-d3a4dce10e89fa86f0feb2a7b53debdaa60fa3e4.zip | |
Updating bmc3 printout to show the number of failed outputs.
Diffstat (limited to 'src/aig')
0 files changed, 0 insertions, 0 deletions