Is there a ASSERTFAIL opcode in evm?

[XiaoYao-0]

fuzzer/detectors/assertion_failure.py line13

#!/usr/bin/env python3
# -*- coding: utf-8 -*-

class AssertionFailureDetector():
    def __init__(self):
        self.init()

    def init(self):
        self.swc_id = 110
        self.severity = "Medium"

    def detect_assertion_failure(self, current_instruction):
      if current_instruction["op"] in ["ASSERTFAIL", "INVALID"]:
          return current_instruction["pc"]
      return None

This module detects an assertion failure by checking if the execution trace contains an ASSERTFAIL or INVALID instruction.
Is there a ASSERTFAIL opcode in evm? I can't find it.

[chengfei867]

你好，请问你这个项目的源码读懂了吗，最近在做智能合约模糊测试相关的研究