task_wait_test.cc

// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.

#include "test.h"
#include "controlled_task.h"

using namespace SystematicTesting;

void run_iteration()
{
    int value(0);
    ControlledTask<void> task([&value] { value++; });
    task.start();
    task.wait();
    assert(value == 1, "Found unexpected value.");
}

int main()
{
    std::cout << "[test] started." << std::endl;
    auto start_time = std::chrono::steady_clock::now();

    try
    {
        auto settings = CreateDefaultSettings();
        SystematicTestEngineContext context(settings, 25);
        while (auto iteration = context.next_iteration())
        {
            run_iteration();
        }

        auto report = context.report();
        std::cout << report.to_string() << std::endl;

        assert(context.total_iterations() == report.iterations(), "Number of iterations is not correct.");
        assert(context.total_iterations() * 2 == report.total_controlled_operations(), "Number of controlled operations is not correct.");
        assert(0 == report.total_uncontrolled_threads(), "Number of uncontrolled threads is not correct.");
    }
    catch (std::string error)
    {
        std::cout << "[test] failed: " << error << std::endl;
        return 1;
    }
  
    std::cout << "[test] done in " << total_time(start_time) << "ms." << std::endl;
    return 0;
}