@@ -0,0 +1,1711 @@
+# 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 os%0Afrom benchexec.tools.sv_benchmarks_util import get_data_model_from_task, ILP32, LP64%0Aimport benchexec.tools.template%0Aimport benchexec.result as result%0A%0A%0Aclass Tool(benchexec.tools.template.BaseTool2):%0A    %22%22%22%0A    This class serves as tool adaptor for WASP-C (https://github.com/wasp-platform/wasp)%0A    %22%22%22%0A%0A    def executable(self, tool_locator):%0A        return tool_locator.find_executable('wasp-c', subdir='bin')%0A%0A    def working_directory(self, executable):%0A        executableDir = os.path.dirname(executable)%0A        return executableDir%0A%0A    def version(self, executable):%0A        return self._version_from_tool(executable, '-v')%0A%0A    def name(self):%0A        return 'WASP-C'%0A%0A    def cmdline(self, executable, options, task, rlimits):%0A%0A        if task.property_file:%0A            options = options + %5B'--property', task.property_file%5D%0A        else:%0A            raise benchexec.tools.template.UnsupportedFeatureException(%0A                'property file is required'%0A            )%0A        return %5Bexecutable%5D + options + %5Btask.single_input_file%5D%0A%0A    def determine_result(self, run):%0A        status = result.RESULT_UNKNOWN%0A%0A        if run.output.any_line_contains('WASP crashed'):%0A            status = result.RESULT_ERROR%0A        elif run.was_timeout or run.output.any_line_contains('WASP timed out'):%0A            status = result.RESULT_UNKNOWN%0A        elif run.output.any_line_contains('Analysis done.'):%0A            status = result.RESULT_DONE%0A%0A        return status%0A

Add WASP-C tool-info