
import benchexec.util as util
yogar_cbmc = __import__("benchexec.tools.yogar-cbmc", fromlist=["Tool"])

class Tool(yogar_cbmc.Tool):

    def executable(self):
        return util.find_executable('yogar-cbmc-parallel')

    def name(self):
        return 'Yogar-CBMC-Parallel'

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


import benchexec.util as util
yogar_cbmc = __import__("benchexec.tools.yogar-cbmc", fromlist=["Tool"])

class Tool(yogar_cbmc.Tool):

    REQUIRED_PATHS = [
                  "yogar-cbmc"
                  ]

    def executable(self):
        return util.find_executable('yogar-cbmc-parallel')

    def name(self):
        return 'Yogar-CBMC-Parallel'

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

Add forgotten program file for deployment
Add forgotten program file for deployment

  
  import benchexec.util as util
  yogar_cbmc = __import__("benchexec.tools.yogar-cbmc", fromlist=["Tool"])
  
  class Tool(yogar_cbmc.Tool):
+ 
+     REQUIRED_PATHS = [
+                   "yogar-cbmc"
+                   ]
  
      def executable(self):
          return util.find_executable('yogar-cbmc-parallel')
  
      def name(self):
          return 'Yogar-CBMC-Parallel'
  
      def cmdline(self, executable, options, tasks, propertyfile, rlimits):
          return [executable] + options + tasks
  
Add forgotten program file for deployment
## Code Before:

import benchexec.util as util
yogar_cbmc = __import__("benchexec.tools.yogar-cbmc", fromlist=["Tool"])

class Tool(yogar_cbmc.Tool):

    def executable(self):
        return util.find_executable('yogar-cbmc-parallel')

    def name(self):
        return 'Yogar-CBMC-Parallel'

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

## Instruction:
Add forgotten program file for deployment
## Code After:

import benchexec.util as util
yogar_cbmc = __import__("benchexec.tools.yogar-cbmc", fromlist=["Tool"])

class Tool(yogar_cbmc.Tool):

    REQUIRED_PATHS = [
                  "yogar-cbmc"
                  ]

    def executable(self):
        return util.find_executable('yogar-cbmc-parallel')

    def name(self):
        return 'Yogar-CBMC-Parallel'

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