[Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
Attach a file by drag & drop or click to upload
