diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-17 17:00:31 +0900 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-17 17:00:31 +0900 |
commit | bc6c0837a18e21b4fbcb6e43c8328f42614e9277 (patch) | |
tree | d4f610c6dc6828160ade4ebfe5a22ff337fe9c6d /src/sat/cnf/cnfCut.c | |
parent | b1aabead5d5d73a040f9fcbd0526febc61820176 (diff) | |
download | abc-bc6c0837a18e21b4fbcb6e43c8328f42614e9277.tar.gz abc-bc6c0837a18e21b4fbcb6e43c8328f42614e9277.tar.bz2 abc-bc6c0837a18e21b4fbcb6e43c8328f42614e9277.zip |
Adding support for dumping faults not detected by a given test-set in &fftest (switch -n).
Diffstat (limited to 'src/sat/cnf/cnfCut.c')
0 files changed, 0 insertions, 0 deletions