diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-15 17:38:08 +0900 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-15 17:38:08 +0900 |
| commit | 4b2205ce6e2fe09f00d339f0f3ef8d3fc04449df (patch) | |
| tree | 54d93cb6b1906a1805fd719ccad6fb2d30f04f23 /src/sat/bmc/bmcFault.c | |
| parent | e85d29663a52efd405586cc5392b1beb46131ede (diff) | |
| download | abc-4b2205ce6e2fe09f00d339f0f3ef8d3fc04449df.tar.gz abc-4b2205ce6e2fe09f00d339f0f3ef8d3fc04449df.tar.bz2 abc-4b2205ce6e2fe09f00d339f0f3ef8d3fc04449df.zip | |
Commenting out useless assertion in choice computation.
Diffstat (limited to 'src/sat/bmc/bmcFault.c')
0 files changed, 0 insertions, 0 deletions