let temp_dir = ( (path_avispa^"/testsuite/results/") : string)