import benchexec.util as util
import benchexec.tools.template
import benchexec.result as result

class Tool(benchexec.tools.template.BaseTool):

    def executable(self):
        return util.find_executable('lctdsvcomp')

    def name(self):
        return 'LCTD'

    def cmdline(self, executable, options, tasks, propertyfile, rlimits):
        assert len(tasks) == 1
        return [executable] + tasks

    def determine_result(self, returncode, returnsignal, output, isTimeout):
        if "TRUE\n" in output:
            status = result.RESULT_TRUE_PROP
        elif "FALSE\n" in output:
            status = result.RESULT_FALSE_REACH
        else:
            status = "UNKNOWN"
        return status

import benchexec.util as util
import benchexec.tools.template
import benchexec.result as result

class Tool(benchexec.tools.template.BaseTool):

    def executable(self):
        return util.find_executable('lctdsvcomp')

    def name(self):
        return 'LCTD'

    def cmdline(self, executable, options, tasks, propertyfile, rlimits):
        assert len(tasks) == 1
        assert len(options) == 0
        return [executable] + tasks

    def determine_result(self, returncode, returnsignal, output, isTimeout):
        if "TRUE\n" in output:
            status = result.RESULT_TRUE_PROP
        elif "FALSE\n" in output:
            status = result.RESULT_FALSE_REACH
        else:
            status = "UNKNOWN"
        return status

Add assertion that no options are passed to LCTD
Add assertion that no options are passed to LCTD

Attempting to pass options to the current version of LCTD would cause it to
crash.

  import benchexec.util as util
  import benchexec.tools.template
  import benchexec.result as result
  
  class Tool(benchexec.tools.template.BaseTool):
  
      def executable(self):
          return util.find_executable('lctdsvcomp')
  
      def name(self):
          return 'LCTD'
  
      def cmdline(self, executable, options, tasks, propertyfile, rlimits):
          assert len(tasks) == 1
+         assert len(options) == 0
          return [executable] + tasks
  
      def determine_result(self, returncode, returnsignal, output, isTimeout):
          if "TRUE\n" in output:
              status = result.RESULT_TRUE_PROP
          elif "FALSE\n" in output:
              status = result.RESULT_FALSE_REACH
          else:
              status = "UNKNOWN"
          return status
  
Add assertion that no options are passed to LCTD
## Code Before:
import benchexec.util as util
import benchexec.tools.template
import benchexec.result as result

class Tool(benchexec.tools.template.BaseTool):

    def executable(self):
        return util.find_executable('lctdsvcomp')

    def name(self):
        return 'LCTD'

    def cmdline(self, executable, options, tasks, propertyfile, rlimits):
        assert len(tasks) == 1
        return [executable] + tasks

    def determine_result(self, returncode, returnsignal, output, isTimeout):
        if "TRUE\n" in output:
            status = result.RESULT_TRUE_PROP
        elif "FALSE\n" in output:
            status = result.RESULT_FALSE_REACH
        else:
            status = "UNKNOWN"
        return status

## Instruction:
Add assertion that no options are passed to LCTD
## Code After:
import benchexec.util as util
import benchexec.tools.template
import benchexec.result as result

class Tool(benchexec.tools.template.BaseTool):

    def executable(self):
        return util.find_executable('lctdsvcomp')

    def name(self):
        return 'LCTD'

    def cmdline(self, executable, options, tasks, propertyfile, rlimits):
        assert len(tasks) == 1
        assert len(options) == 0
        return [executable] + tasks

    def determine_result(self, returncode, returnsignal, output, isTimeout):
        if "TRUE\n" in output:
            status = result.RESULT_TRUE_PROP
        elif "FALSE\n" in output:
            status = result.RESULT_FALSE_REACH
        else:
            status = "UNKNOWN"
        return status
