Skip to content

Commit

Permalink
Merge pull request #948 from adamstafa/main
Browse files Browse the repository at this point in the history
Add tool-info module for Rizzer
  • Loading branch information
PhilippWendler authored Nov 6, 2023
2 parents fa1a3b0 + 3d2fd68 commit 27610c8
Showing 1 changed file with 25 additions and 0 deletions.
25 changes: 25 additions & 0 deletions benchexec/tools/rizzer.py
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
# This file is part of BenchExec, a framework for reliable benchmarking:
# https://github.com/sosy-lab/benchexec
#
# SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
#
# SPDX-License-Identifier: Apache-2.0

import benchexec.tools.fizzer as fizzer

class Tool(fizzer.Tool):
"""
Tool info for rizzer.
https://github.com/staticafi/sbt-fizzer/tree/rizzer
"""

REQUIRED_PATHS = fizzer.REQUIRED_PATHS

def name(self):
"""
Return the name of the tool, formatted for humans.
This method always needs to be overriden, and typically just contains
return "My Toolname"
@return a non-empty string
"""
return "Rizzer"

0 comments on commit 27610c8

Please sign in to comment.