Questions about other function
I have a question.
Is there a function to save the output from the e-acsl-gcc.sh
command as a log(or txt) file ?
I have a question.
Is there a function to save the output from the e-acsl-gcc.sh
command as a log(or txt) file ?