Searched refs:checker_stdin_data (Results 1 – 1 of 1) sorted by relevance
58 static char *checker_stdin_data = NULL; variable193 write(stdin_pipe[1], checker_stdin_data, checker_stdin_size); in check_output()263 checker_stdin = open_memstream(&checker_stdin_data, &checker_stdin_size); in main()