Function read_output

benchmarks/src/executor/external_executor.py:123–126

()

                output_queue = Queue()

                def read_output():
                    with open(pipe_path) as file:
                        data = json.loads(file.read())
                        output_queue.put(data)

                """
                Spawn a thread so that we can read the output and wait for the process concurrently.