Addition of a ".log" file to get the information of checking, instantiation and simulation of each test