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