Benchmarks write rddl server files to testbed directory

Issue #37 resolved
geisserf
created an issue

Currently a job created with scripts/create-jobs writes the server output (rddl-<port>.log) directly in the testbed directory. It would be better if a separate directory is created.

Comments (1)

  1. Log in to comment