diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/wasm-split/instrument-funcs.wast | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/lit/wasm-split/instrument-funcs.wast b/test/lit/wasm-split/instrument-funcs.wast index 1da68150d..cf3ca4af7 100644 --- a/test/lit/wasm-split/instrument-funcs.wast +++ b/test/lit/wasm-split/instrument-funcs.wast @@ -23,9 +23,12 @@ ;; Check that a memory has been added ;; CHECK: (memory $0 1 1) -;; And the profiling function exported +;; And the profiling function is exported ;; CHECK: (export "__write_profile" (func $__write_profile)) +;; And the memory has been exported +;; CHECK: (export "profile-memory" (memory $0)) + ;; Check that the function instrumentation is correct ;; CHECK: (func $baz (param $0 i32) (result i32) |