diff options
author | stefanheule <unknown> | 2011-07-18 17:10:17 +0200 |
---|---|---|
committer | stefanheule <unknown> | 2011-07-18 17:10:17 +0200 |
commit | 10dc1b6325fd4445a972f4807948c0181942ea13 (patch) | |
tree | 18114d503798633c81fe9cec29d432ab27f8b5b5 /Binaries | |
parent | 186b3e2e4a8b461212f9b97255b5f64d045df23f (diff) |
Chalice: Smoke testing to find unreachable code, preconditions that are equivalent to false and assumptions that introduce contradictions. Can be used with the command line switch "-smoke".
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions