| commit | 9c26879369706ccc3b183f53b8c5388ad7401021 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 17 Feb 2016 10:23:16 +0000 (17 13:23 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 17 Feb 2016 10:23:16 +0000 (17 13:23 +0300) | ||
| tree | 710e1507857309550b67ca840deffdb7a6303256 | treesnapshot (tar.gz zip) |
| parent | 4fcdd1eb5a062e876ef2f97d0641dde58c11ecf9 | commitdiff |
validation/sm_implied8.c: update test
Hm... The original output was wrong. Now that we are using stored
conditions we can see that if "test" is true, then it implies that "x" is
non-zero.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Hm... The original output was wrong. Now that we are using stored
conditions we can see that if "test" is true, then it implies that "x" is
non-zero.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| validation/sm_implied8.c | diffblobblamehistory |