Yet I am getting a run failure with the following error.
Error-[CM-ARGPLM] Missing argument
You must give a argument to the '-cm' option. It requires a '+' separated
list of flags. The legal flags are: line cond fsm tgl obc path assert branch
property_path
Does anyone have a solution for this error.
Thanks
Abel