Reframe crashes when expanding a node list

[ekouts]

It happens when the nodelist is in the form nid[002025,002028]:

Traceback (most recent call last):
  File "./bin/reframe", line 22, in <module>
    cli.main()
  File "/scratch/e1000/jenscscs/hohgant/workspace/reframe-hohgant-production-daily/reframe/core/logging.py", line 761, in _fn
    return fn(*args, **kwargs)
  File "/scratch/e1000/jenscscs/hohgant/workspace/reframe-hohgant-production-daily/reframe/frontend/cli.py", line 1395, in main
    printer.info(logfiles_message())
  File "/usr/lib64/python3.6/logging/__init__.py", line 1636, in info
    self.log(INFO, msg, *args, **kwargs)
  File "/scratch/e1000/jenscscs/hohgant/workspace/reframe-hohgant-production-daily/reframe/core/logging.py", line 627, in log
    super().log(level, msg, *args, **kwargs)
  File "/usr/lib64/python3.6/logging/__init__.py", line 1673, in log
    msg, kwargs = self.process(msg, kwargs)
  File "/scratch/e1000/jenscscs/hohgant/workspace/reframe-hohgant-production-daily/reframe/core/logging.py", line 616, in process
    self._update_check_extras()
  File "/scratch/e1000/jenscscs/hohgant/workspace/reframe-hohgant-production-daily/reframe/core/logging.py", line 584, in _update_check_extras
    val = getattr(self.check, attr, None)
  File "/scratch/e1000/jenscscs/hohgant/workspace/reframe-hohgant-production-daily/reframe/core/pipeline.py", line 1085, in __getattribute__
    return super().__getattribute__(name)
  File "/scratch/e1000/jenscscs/hohgant/workspace/reframe-hohgant-production-daily/reframe/core/pipeline.py", line 1438, in _job_nodelist
    return self.job.nodelist
  File "/scratch/e1000/jenscscs/hohgant/workspace/reframe-hohgant-production-daily/reframe/core/schedulers/slurm.py", line 84, in nodelist
    self._nodelist = nodelist_expand(self._nodespec)
  File "/scratch/e1000/jenscscs/hohgant/workspace/reframe-hohgant-production-daily/reframe/utility/__init__.py", line 954, in nodelist_expand
    raise ValueError(f'invalid nodespec: {nodespec}')
ValueError: invalid nodespec: nid[002025,002028]