diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-15 10:59:57 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-15 10:59:57 -0800 |
commit | c2e467d55b188cb1fa5db534a23a4dd6e8291078 (patch) | |
tree | 9b40bfc4a54de26481d10eb1801fe6fe0e083ca3 /src/map/fpga/fpgaCut.c | |
parent | 2eb2402b01541ed672ac2b7e742f1e1aa38542e8 (diff) | |
download | abc-c2e467d55b188cb1fa5db534a23a4dd6e8291078.tar.gz abc-c2e467d55b188cb1fa5db534a23a4dd6e8291078.tar.bz2 abc-c2e467d55b188cb1fa5db534a23a4dd6e8291078.zip |
Added switch 'cexcut -n' to generate only one bad state.
Diffstat (limited to 'src/map/fpga/fpgaCut.c')
0 files changed, 0 insertions, 0 deletions