Fix #1215: Add periodic writes for task-set result files#1247

saurabh12nxf wants to merge 3 commits intososy-lab:mainsosy-lab/benchexec:mainfrom

saurabh12nxf:fix-1215-periodic-taskset-writessaurabh12nxf/benchexec:fix-1215-periodic-taskset-writesCopy head branch name to clipboard