temporary print the output and err of CBMC to debug the server tests