Option --os is documented but does not work

[PhilippWendler]

The command line option --os is shown in the help output of CBMC:

 --os                         set operating system (default: linux)

It is also mentioned in the man page.

However, it does not work:

$ ./cbmc --os linux foo.c
Usage error!


* *               CBMC 5.12 (cbmc-5.12) 64-bit              * *

[...]

Unknown option: --os

CBMC version: 5.12
Operating system: Linux

I guess the fix is to add (os): to the end of the string in this line:

cbmc/src/cbmc/cbmc_parse_options.h

Line 75 in c7bb936

"(i386-linux)(i386-macos)(i386-win32)(win32)(winx64)(gcc)" \

However, am I not sure whether this is correct and sufficient, though it did work in my tests.