test/ctor-eval/just_some.wast

(module
  (memory 256 256)
  (data (i32.const 10) "waka waka waka waka waka")
  (export "test1" (func $test1))
  (export "test2" (func $test2))
  (export "test3" (func $test3))
  (func $test1
    (i32.store8 (i32.const 12) (i32.const 115)) ;; a safe store, should alter memory
  )
  (func $test2
    (unreachable)
    (i32.store8 (i32.const 13) (i32.const 114)) ;; a safe store, should alter memory, but we trapped already
  )
  (func $test3
    (i32.store8 (i32.const 13) (i32.const 113)) ;; a safe store, should alter memory, but we trapped already
  )
)