Function run_tests_parallel

test/test.cpp:443–455

Run all the tests with the supplied options i parallel.

  /// Run all the tests with the supplied options i parallel.
  int run_tests_parallel(const std::vector<Base*>& tests, const Options& options) {
    using namespace Gecode::Support;
    RandomGenerator seed_sequence(options.seed);

    TestExecutionControl tec(tests, options, opt.threads);

    for (unsigned int i = 0; i < opt.threads; ++i) {
      Thread::run(new TestExecutor(tec, seed_sequence.next()));
    }
    tec.await_test_runners_completed();

    return tec.get_result();
  }
}