Open jwaldmann opened 7 years ago
The TPDB-10.5 archive does contain a few files that are not benchmarks (.hgtags, .hg_archival.txt, README.txt, LICENSE.txt)
Starexec's (random) selector will sometimes select these for execution (of course, because it cannot know better).
As an immediate fix, I am going to delete these files from the Termination/TPDB-10.5 space on starexec
For the future, this must be handled in some other way
The TPDB-10.5 archive does contain a few files that are not benchmarks (.hgtags, .hg_archival.txt, README.txt, LICENSE.txt)
Starexec's (random) selector will sometimes select these for execution (of course, because it cannot know better).
As an immediate fix, I am going to delete these files from the Termination/TPDB-10.5 space on starexec
For the future, this must be handled in some other way