Skip to content

Commit f072bc9

Browse files
committed
Add skeleton code for test coverage of section validation fails
1 parent 43b5744 commit f072bc9

File tree

3 files changed

+37
-9
lines changed

3 files changed

+37
-9
lines changed

test/sectionvalidation.py

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -38,9 +38,36 @@ def section_validation_fail(directory):
3838
if "type" in directory:
3939
if not modulevalidation.TypeSection():
4040
sys.exit(1)
41+
if "import" in directory:
42+
if not modulevalidation.ImportSection():
43+
sys.exit(1)
44+
if "function" in directory:
45+
if not modulevalidation.FunctionSection():
46+
sys.exit(1)
47+
if "table" in directory:
48+
if not modulevalidation.TableSection():
49+
sys.exit(1)
50+
if "memory" in directory:
51+
if not modulevalidation.MemorySection():
52+
sys.exit(1)
4153
if "global" in directory:
4254
if not modulevalidation.GlobalSection():
4355
sys.exit(1)
56+
if "export" in directory:
57+
if not modulevalidation.ExportSection():
58+
sys.exit(1)
59+
if "start" in directory:
60+
if not modulevalidation.StartSection():
61+
sys.exit(1)
62+
if "element" in directory:
63+
if not modulevalidation.ElementSection():
64+
sys.exit(1)
65+
if "code" in directory:
66+
if not modulevalidation.CodeSection():
67+
sys.exit(1)
68+
if "data" in directory:
69+
if not modulevalidation.DataSection():
70+
sys.exit(1)
4471
sys.exit()
4572
# the parent process
4673
elif pid > 0:

test/test.py

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -84,16 +84,16 @@ def Legacy(self):
8484
fail_dir = "/testsuite_fail/"
8585
section_validation()
8686
section_validation_fail(fail_dir + "type")
87-
#section_validation_fail(fail_dir + "import")
88-
#section_validation_fail(fail_dir + "function")
89-
#section_validation_fail(fail_dir + "table")
90-
#section_validation_fail(fail_dir + "memory")
87+
section_validation_fail(fail_dir + "import")
88+
section_validation_fail(fail_dir + "function")
89+
section_validation_fail(fail_dir + "table")
90+
section_validation_fail(fail_dir + "memory")
9191
section_validation_fail(fail_dir + "global")
92-
#section_validation_fail(fail_dir + "export")
93-
#section_validation_fail(fail_dir + "start")
94-
#section_validation_fail(fail_dir + "element")
95-
#section_validation_fail(fail_dir + "code")
96-
#section_validation_fail(fail_dir + "data")
92+
section_validation_fail(fail_dir + "export")
93+
section_validation_fail(fail_dir + "start")
94+
section_validation_fail(fail_dir + "element")
95+
section_validation_fail(fail_dir + "code")
96+
section_validation_fail(fail_dir + "data")
9797

9898
def GetName(self):
9999
return('sectionvalidationtest')

test/testsuite_fail/README.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
This directory will contain invalid wasm files aimed at testing section validation and that they fail in a correct manner.

0 commit comments

Comments
 (0)