validation: fix up some failures
commit567e3e7afa08918e6d0acbe65889284d8db7ab49
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 18 Jun 2018 13:54:37 +0000 (18 16:54 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 18 Jun 2018 13:54:37 +0000 (18 16:54 +0300)
tree0c43ac87c22a003473176f22867e25c23d564dab
parent31420c3c71d36de63274dff49635fc9be62daee3
validation: fix up some failures

The impossible test has been problematice for a while so I'm just deleting
it.  Also there are some sval_to_str() differences.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_sval.c
validation/sm_impossible3.c [deleted file]
validation/sm_math2.c