Lines Matching refs:assert_trap

41 (assert_trap (invoke "t1" (i32.const 1)) "uninitialized element")
42 (assert_trap (invoke "t1" (i32.const 2)) "out of bounds")
43 (assert_trap (invoke "t1-wrong-type" (i32.const 0)) "call type mismatch")
44 (assert_trap (invoke "t1-wrong-type" (i32.const 1)) "uninitialized element")
45 (assert_trap (invoke "t1-wrong-type" (i32.const 2)) "out of bounds")
47 (assert_trap (invoke "t2" (i32.const 1)) "uninitialized element")
48 (assert_trap (invoke "t2" (i32.const 2)) "out of bounds")
49 (assert_trap (invoke "t2-wrong-type" (i32.const 0)) "call type mismatch")
50 (assert_trap (invoke "t2-wrong-type" (i32.const 1)) "uninitialized element")
51 (assert_trap (invoke "t2-wrong-type" (i32.const 2)) "out of bounds")
54 (assert_trap (invoke "t3" (i32.const 2)) "out of bounds")
55 (assert_trap (invoke "t3-wrong-type" (i32.const 0)) "call type mismatch")
56 (assert_trap (invoke "t3-wrong-type" (i32.const 1)) "call type mismatch")
57 (assert_trap (invoke "t3-wrong-type" (i32.const 2)) "out of bounds")