Method write_output

test/test.cpp:385–389

Write a string to standard output, synchronized across all test runners

    /// Write a string to standard output, synchronized across all test runners
    void write_output(std::string output) {
      Gecode::Support::Lock lock(output_mutex);
      std::cout << output;
      std::cout.flush();
    }
  };

  /**