Closed tautschnig closed 3 years ago
@tautschnig why did you delete the files?
@skanav just to be sure, you realized this PR is against the svcomp21
branch?
Removing the complete file is correct, because in the post-processing, I can only remove whole task definitions from the results, not individual tasks of task definition.
See #1259 and #1260.