Beispiel #1
0
 def run(options, command=command):
     mission, interpreter = tools.set_mi(options.mission, options.interpreter)
     execute_referee(command, mission, interpreter,
                     without_container=options.without_container,
                     interface_child=options.interface_child,
                     interface_only=options.interface_only,
                     referee_only=options.referee_only)
Beispiel #2
0
def run(options):
    file_options = get_file_options(options.filename)
    folder = Folder(file_options['mission'])

    if not folder.exists():
        # TODO: try to get mission
        raise ValueError('Mission doesn\'t exists')

    if options.check:
        command = 'check'
    else:
        command = 'run'
    execute_referee(command, file_options['mission'], file_options['interpreter'],
                    without_container=options.without_container,
                    interface_child=options.interface_child,
                    interface_only=options.interface_only,
                    referee_only=options.referee_only)
Beispiel #3
0
def run(options):
    file_options = get_file_options(options.filename)
    folder = Folder(file_options['mission'])

    if not folder.exists():
        # TODO: try to get mission
        raise ValueError('Mission doesn\'t exists')

    if options.check:
        command = 'check'
    else:
        command = 'run'
    execute_referee(command,
                    file_options['mission'],
                    file_options['interpreter'],
                    without_container=options.without_container,
                    interface_child=options.interface_child,
                    interface_only=options.interface_only,
                    referee_only=options.referee_only)