@@ -0,0 +1,1335 @@
+# 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.result as result%0Aimport benchexec.tools.template%0A%0A%0Aclass Tool(benchexec.tools.template.BaseTool2):%0A    %22%22%22%0A    Tool info for Kissat SAT Solver.%0A    URL: http://fmv.jku.at/kissat/%0A    %22%22%22%0A%0A    def executable(self, tool_locator):%0A        return tool_locator.find_executable(%22kissat%22, subdir=%22build%22)%0A%0A    def name(self):%0A        return %22Kissat%22%0A%0A    def version(self, executable):%0A        return self._version_from_tool(executable)%0A%0A    def cmdline(self, executable, options, task, rlimits):%0A        return %5Bexecutable%5D + options + list(task.input_files_or_identifier)%0A%0A    def determine_result(self, run):%0A        %22%22%22%0A        @return: status of Kissat after executing a run%0A        %22%22%22%0A%0A        status = None%0A%0A        for line in run.output:%0A            if %22s SATISFIABLE%22 in line:%0A                status = %22SAT%22%0A            elif %22s UNSATISFIABLE%22 in line:%0A                status = %22UNSAT%22%0A%0A        if (not status or status == result.RESULT_UNKNOWN) and run.was_timeout:%0A            status = %22TIMEOUT%22%0A%0A        if not status:%0A            status = result.RESULT_ERROR%0A        return status%0A

Add a tool-info module for Kissat SAT solver