Skip to content

Fix bug with randomseed default in command line

miguelmarco requested to merge command_line into master

The default value for random_seed was 1, but then it is expected to be a list. So I changed it to [1]

Merge request reports