1 files changed, 14 insertions, 0 deletions
diff --git a/check.py b/check.py
index 2171a330d..8f5d473ca 100755
--- a/check.py
+++ b/check.py
@@ -237,6 +237,20 @@ for t in os.listdir(os.path.join('test', 'merge')):
         with open(out + '.stdout') as f:
           fail_if_not_identical(f.read(), stdout)
 
+print '\n[ checking wasm-ctor-eval... ]\n'
+
+for t in os.listdir(os.path.join('test', 'ctor-eval')):
+  if t.endswith(('.wast', '.wasm')):
+    print '..', t
+    t = os.path.join('test', 'ctor-eval', t)
+    ctors = open(t + '.ctors').read().strip()
+    cmd = [os.path.join('bin', 'wasm-ctor-eval'), t, '-o', 'a.wast', '-S', '--ctors', ctors]
+    stdout = run_command(cmd)
+    actual = open('a.wast').read()
+    out = t + '.out'
+    with open(out) as f:
+      fail_if_not_identical(f.read(), actual)
+
 print '\n[ checking wasm-shell spec testcases... ]\n'
 
 if len(requested) == 0: