-
bouazizrahma authored
add a macro in deployment.h to enable the generation of vcd file for each process having the name of the process
a668601c
add a macro in deployment.h to enable the generation of vcd file for each process having the name of the process