Index: src/trusted/validator_x86/testdata/32/mem_overflow.nval |
diff --git a/src/trusted/validator_x86/testdata/32/mem_overflow.nval b/src/trusted/validator_x86/testdata/32/mem_overflow.nval |
index e64cf1567575968e4046fda7d1372a3517f2886e..02d2b6430450bf809d105f03fdee8b9be3fc2a99 100644 |
--- a/src/trusted/validator_x86/testdata/32/mem_overflow.nval |
+++ b/src/trusted/validator_x86/testdata/32/mem_overflow.nval |
@@ -1,4 +1,3 @@ |
-6 > 4 (read overflow of 2 bytes) |
+22 > 20 (read overflow of 2 bytes) |
ErrorSegmentation |
-VALIDATOR: 0: Bad basic block alignment |
*** <input> IS UNSAFE *** |