sval: update validation/ to match new output
commit0c9e086cc30dc022ac027742123d10a937d3152d
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 31 Oct 2012 13:36:59 +0000 (31 16:36 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 31 Oct 2012 13:36:59 +0000 (31 16:36 +0300)
treec27de9b86fb1c050a56ef5986188a90d5e1039f1
parenta55ba2464c8f56125c6acbeda7fda518f3a321fb
sval: update validation/ to match new output

The new output changes slightly.  It will change again hopefully as the
sval stuff become more accurate.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
validation/sm_implied11.c
validation/sm_implied12.c