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