diff --git a/test/binary/binary.wast b/test/binary/binary.wast index 3766e0180..16a0dde21 100644 --- a/test/binary/binary.wast +++ b/test/binary/binary.wast @@ -1107,15 +1107,6 @@ ) "invalid leading byte (0x7) for canonical function" ) -(assert_malformed - (component binary - "\00asm" "\0d\00\01\00" ;; preamble - "\08\02" ;; canon section (2 bytes) - "\01" ;; 1 canon - "\2e" ;; 0x2e is unallocated - ) - "invalid leading byte (0x2e) for canonical function" -) (assert_malformed (component binary "\00asm" "\0d\00\01\00" ;; preamble @@ -1170,7 +1161,7 @@ "\01" ;; 1 canon "\0c\02" ;; thread.yield with flag 0x02 ) - "invalid boolean value" + "invalid leading byte (0x2) for zero byte" ) (assert_malformed (component binary @@ -1179,7 +1170,7 @@ "\01" ;; 1 canon "\20\02\00" ;; waitable-set.wait with flag 0x02 ) - "invalid boolean value" + "invalid leading byte (0x2) for zero byte" ) ;; the 'cancellable' immediate was removed; the vestigial byte must be 0x00 @@ -1203,7 +1194,7 @@ "\01" ;; 1 canon "\20\01\00" ;; 0x20 waitable-set.wait, reserved byte 0x01, (memory 0) ) - "non-zero reserved byte" + "invalid leading byte (0x1) for zero byte" ) (assert_malformed (component binary @@ -1225,7 +1216,7 @@ "\01" ;; 1 canon "\21\01\00" ;; 0x21 waitable-set.poll, reserved byte 0x01, (memory 0) ) - "non-zero reserved byte" + "invalid leading byte (0x1) for zero byte" ) (assert_malformed (component binary @@ -1234,7 +1225,7 @@ "\01" ;; 1 canon "\29\01" ;; 0x29 thread.suspend, reserved byte 0x01 ) - "non-zero reserved byte" + "invalid leading byte (0x1) for zero byte" ) (assert_malformed (component binary @@ -1243,7 +1234,7 @@ "\01" ;; 1 canon "\0c\01" ;; 0x0c thread.yield, reserved byte 0x01 ) - "non-zero reserved byte" + "invalid leading byte (0x1) for zero byte" ) (assert_malformed (component binary @@ -1252,7 +1243,7 @@ "\01" ;; 1 canon "\2a\01" ;; 0x2a thread.suspend-then-resume, reserved byte 0x01 ) - "non-zero reserved byte" + "invalid leading byte (0x1) for zero byte" ) (assert_malformed (component binary @@ -1261,7 +1252,7 @@ "\01" ;; 1 canon "\2b\01" ;; 0x2b thread.yield-then-resume, reserved byte 0x01 ) - "non-zero reserved byte" + "invalid leading byte (0x1) for zero byte" ) (assert_malformed (component binary @@ -1270,7 +1261,7 @@ "\01" ;; 1 canon "\2c\01" ;; 0x2c thread.suspend-then-promote, reserved byte 0x01 ) - "non-zero reserved byte" + "invalid leading byte (0x1) for zero byte" ) (assert_malformed (component binary @@ -1279,7 +1270,7 @@ "\01" ;; 1 canon "\2d\01" ;; 0x2d thread.yield-then-promote, reserved byte 0x01 ) - "non-zero reserved byte" + "invalid leading byte (0x1) for zero byte" ) ;; import section (id 10) and export section (id 11) diff --git a/test/nyi.txt b/test/nyi.txt index 3efe95b69..d9493c853 100644 --- a/test/nyi.txt +++ b/test/nyi.txt @@ -1,6 +1,5 @@ # See README.md ./validation/kebab.wast -./binary/binary.wast ./values/post-return.wast ./async/big-interleaving-test.wast ./async/forward.wast