Checking for race conditions... free(): invalid pointer Aborted (core dumped)

[Superstite]

Hi,
I am trying to run covered with:
covered score -t tb_state_machine -v state_machine_tb.v -vcd my_state_machine_dumpfile.vcd -o my_state_machine_covered.cdd

Result:

Checking for race conditions...
free(): invalid pointer
Aborted (core dumped)

Can someone please tell me what the issue here is and how to solve this? Because next, when I am trying to generate report; error arises as:

ERROR! Attempting to generate report on non-scored design. Not supported.

Thanks in advance.

[udara28]

Do you have a stack trace for this issue?