Skip to content
Snippets Groups Projects
Commit b2389cf4 authored by Fabian Heinrich's avatar Fabian Heinrich
Browse files

Setting the seed via CreateEnvironmentConfig

parent 0bb7c26f
No related branches found
No related tags found
1 merge request!48Resolve "Use Random class for random seed and random sampling"
Pipeline #45563 passed
......@@ -655,6 +655,7 @@ class CreateEnvironmentConfig(BaseModel):
item_info_config: str # file content
environment_config: str # file content
layout_config: str # file content
seed: int
class AdditionalPlayer(BaseModel):
......
......@@ -460,6 +460,8 @@ class PyGameGUI:
layout = file.read()
with open(environment_config_path, "r") as file:
environment_config = file.read()
seed = 161616161616
creation_json = CreateEnvironmentConfig(
manager_id=self.manager_id,
number_players=2,
......@@ -467,7 +469,9 @@ class PyGameGUI:
item_info_config=item_info,
environment_config=environment_config,
layout_config=layout,
seed=seed,
).model_dump(mode="json")
# print(CreateEnvironmentConfig.model_validate_json(json_data=creation_json))
env_info = requests.post(
f"{self.request_url}/manage/create_env/",
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment