| 170 | } |
| 171 | |
| 172 | TEST_F(ValidatorRegressionTest, MaxSubtypeDepthExceeded) { |
| 173 | auto Wasm = generateWasmWithSubtypeChain(65); |
| 174 | auto Result = LoadEngine->parseModule(Wasm); |
| 175 | ASSERT_TRUE(Result); |
| 176 | |
| 177 | auto ValidationResult = ValidEngine->validate(**Result); |
| 178 | EXPECT_FALSE(ValidationResult); |
| 179 | EXPECT_EQ(ValidationResult.error(), WasmEdge::ErrCode::Value::InvalidSubType); |
| 180 | } |
| 181 | |
| 182 | TEST_F(ValidatorRegressionTest, InvalidTypeIndex) { |
| 183 | std::array<WasmEdge::Byte, 24> Wasm = { |
nothing calls this directly
no test coverage detected