@@ -0,0 +1,1351 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:%0A# https://github.com/sosy-lab/benchexec%0A#%0A# SPDX-FileCopyrightText: 2007-2020 Dirk Beyer %3Chttps://www.sosy-lab.org%3E%0A#%0A# SPDX-License-Identifier: Apache-2.0%0A%0Aimport benchexec.tools.template%0Aimport benchexec.result as result%0A%0A%0Aclass Tool(benchexec.tools.template.BaseTool2):%0A    %22%22%22%0A    Tool info for MLB%0A    (https://github.com/MLB-SE/Experiment).%0A    %22%22%22%0A%0A    def executable(self, tool_locator):%0A        return tool_locator.find_executable(%22run.sh%22)%0A%0A    def version(self, executable):%0A        return self._version_from_tool(executable, arg=%22-version%22)%0A%0A    def name(self):%0A        return %22MLB%22%0A%0A    def cmdline(self, executable, options, task, rlimits):%0A        cmd = %5Bexecutable%5D%0A        if options:%0A            cmd = cmd + options%0A        if task.property_file:%0A            cmd.append(task.property_file)%0A        return cmd + list(task.input_files_or_identifier)%0A%0A    def determine_result(self, run):%0A        # parse output%0A        status = result.RESULT_ERROR%0A        for line in run.output:%0A            if %22==%3E FALSE%22 in line:%0A                status = result.RESULT_FALSE_PROP%0A            elif %22==%3E TRUE%22 in line:%0A                status = result.RESULT_TRUE_PROP%0A            elif %22==%3E UNKNOWN%22 in line:%0A                status = result.RESULT_UNKNOWN%0A%0A        return status%0A

Add tool-info module for mlb (#855)