src/sat/bmc · 979086781741bb37b903793a1484366e418abc6c · lvzhengyang / abc · GitLab

History Find file

Fix to the problem of not dumping test-vectors in &fftest when the use-specified… · 97908678
```
Fix to the problem of not dumping test-vectors in &fftest when the use-specified test set is complete or when a timeout occurred.
```
Alan Mishchenko committed Jun 30, 2014
97908678

Name	Last commit	Last update
..
bmc.c		Loading commit data...
bmc.h		Loading commit data...
bmcBCore.c		Loading commit data...
bmcBmc.c		Loading commit data...
bmcBmc2.c		Loading commit data...
bmcBmc3.c		Loading commit data...
bmcBmcAnd.c		Loading commit data...
bmcBmci.c		Loading commit data...
bmcCexCare.c		Loading commit data...
bmcCexCut.c		Loading commit data...
bmcCexDepth.c		Loading commit data...
bmcCexMin1.c		Loading commit data...
bmcCexMin2.c		Loading commit data...
bmcCexTools.c		Loading commit data...
bmcEco.c		Loading commit data...
bmcFault.c		Loading commit data...
bmcICheck.c		Loading commit data...
bmcInse.c		Loading commit data...
bmcLoad.c		Loading commit data...
bmcMaxi.c		Loading commit data...
bmcMulti.c		Loading commit data...
bmcUnroll.c		Loading commit data...
module.make		Loading commit data...