| ;; Test that the --initial-table flag works as expected. | |
| ;; RUN: wasm-split %s --instrument --initial-table=1234 -S | filecheck %s | |
| ;; RUN: wasm-split %s -g -o1 %t.1.wasm -o2 %t.2.wasm --initial-table=1234 | |
| ;; RUN: wasm-dis %t.1.wasm | filecheck %s | |
| ;; CHECK: (table $table 1234 funcref) | |
| (module | |
| (table $table 3 funcref) | |
| ) |