<filename>benchexec/tools/symbiotic-witch.py
# This file is part of BenchExec, a framework for reliable benchmarking:
# https://github.com/sosy-lab/benchexec
#
# SPDX-FileCopyrightText: 2007-2020 <NAME> <https://www.sosy-lab.org>
# SPDX-FileCopyrightText: 2021 <NAME>
#
# SPDX-License-Identifier: Apache-2.0

from benchexec.tools.symbiotic import Tool as SymbioticTool


class Tool(SymbioticTool):
    """
    Symbiotic-Witch tool info object
    https://github.com/staticafi/symbiotic
    """

    def name(self):
        """
        Return the name of the tool, formatted for humans.
        """
        return "symbiotic-witch"

<filename>benchexec/tools/symbiotic-witch.py
# This file is part of BenchExec, a framework for reliable benchmarking:
# https://github.com/sosy-lab/benchexec
#
# SPDX-FileCopyrightText: 2007-2020 <NAME> <https://www.sosy-lab.org>
# SPDX-FileCopyrightText: 2021 <NAME>
#
# SPDX-License-Identifier: Apache-2.0

from benchexec.tools.symbiotic import Tool as SymbioticTool


class Tool(SymbioticTool):
    """
    Symbiotic-Witch tool info object
    https://github.com/staticafi/symbiotic
    """

    def name(self):
        """
        Return the name of the tool, formatted for humans.
        """
        return "symbiotic-witch"

# This file is part of BenchExec, a framework for reliable benchmarking: # https://github.com/sosy-lab/benchexec # # SPDX-FileCopyrightText: 2007-2020 <NAME> <https://www.sosy-lab.org> # SPDX-FileCopyrightText: 2021 <NAME> # # SPDX-License-Identifier: Apache-2.0 Symbiotic-Witch tool info object     https://github.com/staticafi/symbiotic Return the name of the tool, formatted for humans.