Create a Python script at /workspace/random-demo.py that generates a list of random integers with…
Create a Python script at /workspace/random-demo.py that generates a list of random integers with…: a task in Repo2RLEnv TerminalWorld (EuniAI) (Harbor dataset). Once the script is in place, run it with a seed of 12345 and generate 5 random integers, saving the stdout output to /app/result.txt …
The task
Once the script is in place, run it with a seed of `12345` and generate `5` random integers, saving the stdout output to `/app/result.txt`. The file `/app/result.txt` should contain the printed Python list of 5 integers produced by that specific seed and default max value of 100.
Part of FineEnvs/repo2rlenv-terminalworld.