walrus
                                
                                
                                
                                    walrus copied to clipboard
                            
                            
                            
                        Fails to parse valid spectest modules
Describe the Bug
walrus will fail to parse some of the valid spec-tests. In particular I found it to fail when parsing some modules in the unreached-valid.wast test:
type mismatch: br_table target labels have different types (at offset 47)
Expected Behavior
Any compliant WebAssembly parser should be able to successfully parse the spec test modules that are intended to pass (module directives) and fail parsing the spec test modules that are intended to fail (assert_invalid).
Actual Behavior
unreached-valid.wast test fails to parse.