diff options
| author | Michael Williamson <mike@zwobble.org> | 2025-03-08 14:46:09 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2025-03-08 14:46:23 +0000 |
| commit | cccc61da54776d13fdb1655631e9ae3b81dd2ab3 (patch) | |
| tree | c440648b21c87588c24240d03a7aee67fe5c277d /src/test/java | |
| parent | 8cfdfc92fcf41f5db6d30015b20457ca64f0c3ce (diff) | |
Support undefined data elements in Wasm binary format
Diffstat (limited to 'src/test/java')
| -rw-r--r-- | src/test/java/org/shedlang/compiler/backends/wasm/structure/binary/WasmBinaryFormatModulesTests.java | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/test/java/org/shedlang/compiler/backends/wasm/structure/binary/WasmBinaryFormatModulesTests.java b/src/test/java/org/shedlang/compiler/backends/wasm/structure/binary/WasmBinaryFormatModulesTests.java index 4d7ba09c..13ea6fe0 100644 --- a/src/test/java/org/shedlang/compiler/backends/wasm/structure/binary/WasmBinaryFormatModulesTests.java +++ b/src/test/java/org/shedlang/compiler/backends/wasm/structure/binary/WasmBinaryFormatModulesTests.java @@ -356,6 +356,17 @@ public class WasmBinaryFormatModulesTests { } @Test + public void canSerializeModuleWithUndefinedData(Snapshotter snapshotter) throws IOException, InterruptedException { + var module = WasmModule.EMPTY + .addUndefinedDataElement("data1") + .addUndefinedDataElement("data2"); + + var result = serializeModuleWasm32(module); + + snapshotter.assertSnapshot(result); + } + + @Test public void canSerializeModuleWithInitFuncs(Snapshotter snapshotter) throws IOException, InterruptedException { var module = WasmModule.EMPTY .addFunction(new WasmFunction( |