-
Dirk Beyer authored
fix the description of 'additional_information': this defines the meaning of the task as validation task, which of course cannot be ignored (only Benchexec can ignore it, because it does not know anything about validation tasks yet)
Dirk Beyer authoredfix the description of 'additional_information': this defines the meaning of the task as validation task, which of course cannot be ignored (only Benchexec can ignore it, because it does not know anything about validation tasks yet)
Loading