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/psat | |
| 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/psat')
0 files changed, 0 insertions, 0 deletions