cbmc-viewer icon indicating copy to clipboard operation
cbmc-viewer copied to clipboard

Test `config.py` crashes with commands that have no arguments

Open karkhaz opened this issue 2 years ago • 0 comments

The config.py script used as a test in the CBMC starter kit crashes when the starter kit includes a Litani job whose command has no arguments.

The crash is on line 80 of config.py:

cmd, args = job['command'].strip().split(maxsplit=1)

A job's command is not guaranteed to have arguments, so the split can fail.

karkhaz avatar Dec 12 '22 21:12 karkhaz