validation/impossible: update tests
commitd4c7b36307310218659697598c21aa8feafd385e
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 28 Aug 2017 12:54:38 +0000 (28 15:54 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 28 Aug 2017 12:54:38 +0000 (28 15:54 +0300)
treeef8eeee394ef3bfcd86474aee460d7183fe01275
parentf0d45b9a890d4db738f874bdc61d3290a3580276
validation/impossible: update tests

These days the expected behavior is "no states".

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