src/binaryen/test/ctor-eval/no_partial.wast

   1 (module
   2   (memory 256 256)
   3   (data (i32.const 10) "waka waka waka waka waka")
   4   (export "test1" $test1)
   5   (func $test1
   6     (i32.store8 (i32.const 12) (i32.const 115)) ;; a safe store, should alter memory
   7     (unreachable)
   8     (i32.store8 (i32.const 13) (i32.const 114)) ;; a safe store, should alter memory, but we trapped already, and so must roll back the first one too
   9   )
  10 )