diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-11-10 09:38:07 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-11-10 09:38:07 -0800 |
| commit | 71a52ae9e5e0572f93df9eb14cba8c7567d3e676 (patch) | |
| tree | 76ad848a830d8fb4f19f42bb87f9632ac2bc915a /src/proof/dch/dchClass.c | |
| parent | 460a5700a5369a0cb46ae5c6d5bbc001deaf8ab4 (diff) | |
| download | abc-71a52ae9e5e0572f93df9eb14cba8c7567d3e676.tar.gz abc-71a52ae9e5e0572f93df9eb14cba8c7567d3e676.tar.bz2 abc-71a52ae9e5e0572f93df9eb14cba8c7567d3e676.zip | |
Renaming command 'detect' to be 'faultclasses'.
Diffstat (limited to 'src/proof/dch/dchClass.c')
0 files changed, 0 insertions, 0 deletions