def get_default_config_help(self):
        config = super(LibratoHandler, self).get_default_config_help()

        config.update({
            'user': '',
            'apikey': '',
            'queue_max_size': '',
            'queue_max_interval': '',
            'include_filters': '',
        })

        return config
The constructor of RunSet reads run-set name and the source files from rundefinitionTag.
dataset/ETHPy150Open BrightcoveOS/Diamond/src/diamond/handler/libratohandler.py/LibratoHandler.get_default_config_help--crossover with--dataset/ETHPy150Open sosy-lab/benchexec/benchexec/model.py/RunSet.__init__