tree d026d550f27bc6ad62cc3c545e5ee916866a6a7a
parent 017fdfed2d16d7bd6bf0066682dcab213046afda
author Yingyi Bu <buyingyi@gmail.com> 1442957286 -0700
committer Yingyi Bu <buyingyi@gmail.com> 1443158213 -0700

Let a run file reader have an option to delete the run file after it is read.

Change-Id: Iabbd7c3e00489e2dbd8b1d4b87c7c9f81e8116b9
Reviewed-on: https://asterix-gerrit.ics.uci.edu/397
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Jianfeng Jia <jianfeng.jia@gmail.com>
Reviewed-by: Till Westmann <tillw@apache.org>