Giters

SSoelvsten / bdd-benchmark

Benchmarking Suite for BDD packages

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Name SLURM job based on root folder

SSoelvsten opened this issue · comments

commented

On grendel I am beginning to quite often have multiple copies of this repository, each with one variable changed. This way, we can run all of them in parallel. Yet, now I have multiple jobs with the name benchmarks_00-00-10-00 etc. and do not know which one relates to which.

  • In grendel_gen.py obtain the folder name of the root (i.e. of ../) and use that instead of benchmarks).
commented

Closed with #64 .