Method run

test/test.cpp:405–439

      : tec(tec), initial_seed(initialSeed) {}

    void run(void) override {
      // Set up a local source of randomness seeds based on the initial seed supplied.
      Gecode::Support::RandomGenerator seed_sequence(initial_seed);

      // Loop runs tests continuously in batches from the test execution control
      while (true) {
        // Get next batch
        const std::pair<size_t, size_t>& start_and_size = tec.next_batch();
        const size_t batch_start = start_and_size.first;
        const size_t batch_size = start_and_size.second;
        if (batch_start >= tec.tests.size()) {
          // No more tests to run
          break;
        }
        // Run each test in the batch, handling output and failures
        for (size_t i = batch_start; i < batch_start + batch_size && i < tec.tests.size(); ++i) {
          if (!tec.continue_testing()) {
            break;
          }
          auto test = tec.tests[i];
          unsigned int test_seed = seed_sequence.next();
          std::ostringstream test_output;
          if (!run_test(test, test_seed, tec.options, test_output)) {
            tec.set_failure();
          }
          tec.write_output(test_output.str());
        }
        if (!tec.continue_testing()) {
          break;
        }
      }

      // Signal that this thread is done. Last one signals the waiting main thread.
      tec.thread_done();
    }
  };

  /// Run all the tests with the supplied options i parallel.