What are the reasons/motivation for this change?
Running AddressSanitizer on yosys when using verific uncovered a memory leak in a file_names Array, as the char* copy created by strdup() is not freed.
Explain how this is achieved.
Manually iterate over the array and free the memory, similar to other instances in the verific.cc file.
What are the reasons/motivation for this change? Running AddressSanitizer on yosys when using verific uncovered a memory leak in a
file_names
Array, as the char* copy created bystrdup()
is not freed.Explain how this is achieved. Manually iterate over the array and free the memory, similar to other instances in the
verific.cc
file.