Closed atrisovic closed 1 year ago
What open issue is this PR addressing?
I'm closing because there's no issue attached (one issue <-> one PR). Also there are 8 files changed, many of which are unrelated to the cli and server API. For example, this PR has undesired modifications to the README.
Please fix by adding creating an open issue, when doing the PR specify the issue, and make sure that the files changed relate the proposed change.
The random seed will be propagated from the user to the error sampler. The random seed setter is needed to set or update this seed.