GCC Code Coverage Report

Directory:	src/gate/
File:	src/gate/tests/gatecore_cpp_test/test_synchronization.cpp
Date:	2025-09-14 13:10:38

	Exec	Total	Coverage
Lines:	67	67	100.0%
Functions:	15	15	100.0%
Branches:	151	421	35.9%

  
      Line
      Branch
      Exec
      Source
    
      #include "gate/tests.hpp"
    
      #include "gate/synchronization.hpp"
    
      #include "gate/threading.hpp"
    
      using namespace gate;
    
        2/7✓ Branch 2 taken 1 times.
✓ Branch 3 taken 1 times.
✗ Branch 4 not taken.
✗ Branch 11 not taken.
✗ Branch 12 not taken.
✗ Branch 14 not taken.
✗ Branch 15 not taken.

      6
      GATEXX_TEST_UNIT(Future)
    
      {
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      4
          Future<int> f;
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      4
          Future<int> f2(f);
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      4
          Future<int> f3;
    
        5/14✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 9 taken 1 times.
✗ Branch 10 not taken.
✓ Branch 12 taken 1 times.
✗ Branch 13 not taken.
✗ Branch 15 not taken.
✗ Branch 16 not taken.
✗ Branch 18 not taken.
✗ Branch 19 not taken.

      2
          GATEXX_TEST_CHECK(f.c_impl() != NULL);
    
        4/12✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 1 times.
✗ Branch 11 not taken.
✗ Branch 13 not taken.
✗ Branch 14 not taken.
✗ Branch 16 not taken.
✗ Branch 17 not taken.

      2
          GATEXX_TEST_CHECK(f.empty());
    
        4/12✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 1 times.
✗ Branch 11 not taken.
✗ Branch 13 not taken.
✗ Branch 14 not taken.
✗ Branch 16 not taken.
✗ Branch 17 not taken.

      2
          GATEXX_TEST_CHECK(f.getData() == NULL);
    
        4/12✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 1 times.
✗ Branch 11 not taken.
✗ Branch 13 not taken.
✗ Branch 14 not taken.
✗ Branch 16 not taken.
✗ Branch 17 not taken.

      2
          GATEXX_TEST_CHECK_EQUAL(f.hasValue(), false);
    
        5/14✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
✓ Branch 11 taken 1 times.
✗ Branch 12 not taken.
✓ Branch 14 taken 1 times.
✗ Branch 15 not taken.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.

      2
          GATEXX_TEST_CHECK_EQUAL(f.waitFor(time::Seconds(0)), false);
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      2
          f3 = f;
    
        4/14✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 1 times.
✗ Branch 11 not taken.
✗ Branch 14 not taken.
✗ Branch 15 not taken.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.

      2
          GATEXX_TEST_CHECK_NOTHROW(f.set(results::Ok, 42));
    
        5/14✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✗ Branch 7 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 10 not taken.
✗ Branch 11 not taken.
✗ Branch 13 not taken.
✗ Branch 14 not taken.
✓ Branch 17 taken 1 times.
✗ Branch 18 not taken.
✓ Branch 20 taken 1 times.
✗ Branch 21 not taken.

      4
          GATEXX_TEST_CHECK_THROW(f.set(results::Ok, 22));
    
        4/14✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 1 times.
✗ Branch 11 not taken.
✗ Branch 14 not taken.
✗ Branch 15 not taken.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.

      2
          GATEXX_TEST_CHECK_NOTHROW(f.wait());
    
        4/12✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 1 times.
✗ Branch 11 not taken.
✗ Branch 13 not taken.
✗ Branch 14 not taken.
✗ Branch 16 not taken.
✗ Branch 17 not taken.

      2
          GATEXX_TEST_CHECK(f.hasValue());
    
        4/12✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 1 times.
✗ Branch 11 not taken.
✗ Branch 13 not taken.
✗ Branch 14 not taken.
✗ Branch 16 not taken.
✗ Branch 17 not taken.

      2
          GATEXX_TEST_CHECK(f.getData() != NULL);
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      2
          int received_value = f.value();
    
        4/12✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 6 taken 1 times.
✗ Branch 7 not taken.
✓ Branch 9 taken 1 times.
✗ Branch 10 not taken.
✗ Branch 12 not taken.
✗ Branch 13 not taken.
✗ Branch 15 not taken.
✗ Branch 16 not taken.

      2
          GATEXX_TEST_CHECK_EQUAL(received_value, 42);
    
        4/12✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 1 times.
✗ Branch 11 not taken.
✗ Branch 13 not taken.
✗ Branch 14 not taken.
✗ Branch 16 not taken.
✗ Branch 17 not taken.

      2
          GATEXX_TEST_CHECK(f2.hasValue());
    
        5/14✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 9 taken 1 times.
✗ Branch 10 not taken.
✓ Branch 12 taken 1 times.
✗ Branch 13 not taken.
✗ Branch 15 not taken.
✗ Branch 16 not taken.
✗ Branch 18 not taken.
✗ Branch 19 not taken.

      2
          GATEXX_TEST_CHECK_EQUAL(f3.value(), 42);
    
      2
      }
    
        2/7✓ Branch 2 taken 1 times.
✓ Branch 3 taken 1 times.
✗ Branch 4 not taken.
✗ Branch 11 not taken.
✗ Branch 12 not taken.
✗ Branch 14 not taken.
✗ Branch 15 not taken.

      6
      GATEXX_TEST_UNIT(SyncCondition)
    
      {
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      4
          Mutex m;
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      4
          SyncCondition c;
    
          static gate::uint32_t const notimeout = 0;
    
          {
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      4
              MutexLock l(m);
    
        5/14✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 9 taken 1 times.
✗ Branch 10 not taken.
✓ Branch 12 taken 1 times.
✗ Branch 13 not taken.
✗ Branch 15 not taken.
✗ Branch 16 not taken.
✗ Branch 18 not taken.
✗ Branch 19 not taken.

      2
              GATEXX_TEST_CHECK(!c.waitFor(l, notimeout));
    
          }
    
          {
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      4
              TimeCounter tc = TimeCounter::now();
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      4
              MutexLock l(m);
    
        5/14✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 9 taken 1 times.
✗ Branch 10 not taken.
✓ Branch 12 taken 1 times.
✗ Branch 13 not taken.
✗ Branch 15 not taken.
✗ Branch 16 not taken.
✗ Branch 18 not taken.
✗ Branch 19 not taken.

      2
              GATEXX_TEST_CHECK(!c.waitUntil(l, tc));
    
          }
    
          {
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      2
              Time t = Time::now();
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      4
              MutexLock l(m);
    
        5/14✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 9 taken 1 times.
✗ Branch 10 not taken.
✓ Branch 12 taken 1 times.
✗ Branch 13 not taken.
✗ Branch 15 not taken.
✗ Branch 16 not taken.
✗ Branch 18 not taken.
✗ Branch 19 not taken.

      2
              GATEXX_TEST_CHECK(!c.waitUntil(l, t));
    
          }
    
        4/14✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 1 times.
✗ Branch 11 not taken.
✗ Branch 14 not taken.
✗ Branch 15 not taken.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.

      2
          GATEXX_TEST_CHECK_NOTHROW(c.signalOne());
    
        4/14✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 1 times.
✗ Branch 11 not taken.
✗ Branch 14 not taken.
✗ Branch 15 not taken.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.

      2
          GATEXX_TEST_CHECK_NOTHROW(c.signalAll());
    
      2
      }
    
        2/7✓ Branch 2 taken 1 times.
✓ Branch 3 taken 1 times.
✗ Branch 4 not taken.
✗ Branch 11 not taken.
✗ Branch 12 not taken.
✗ Branch 14 not taken.
✗ Branch 15 not taken.

      6
      GATEXX_TEST_UNIT(SyncEvent)
    
      {
    
          {	// auto-reset event
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      4
              SyncEvent e(true);
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      2
              e.reset();
    
        5/14✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
✓ Branch 11 taken 1 times.
✗ Branch 12 not taken.
✓ Branch 14 taken 1 times.
✗ Branch 15 not taken.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.

      2
              GATEXX_TEST_CHECK(!e.waitFor(time::Milliseconds(0)));
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      2
              e.set();
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      2
              e.wait();
    
        5/14✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
✓ Branch 11 taken 1 times.
✗ Branch 12 not taken.
✓ Branch 14 taken 1 times.
✗ Branch 15 not taken.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.

      2
              GATEXX_TEST_CHECK(!e.waitFor(time::Milliseconds(0)));
    
          }
    
          {	// manual-reset event
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      4
              SyncEvent e(false);
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      2
              e.reset();
    
        5/14✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
✓ Branch 11 taken 1 times.
✗ Branch 12 not taken.
✓ Branch 14 taken 1 times.
✗ Branch 15 not taken.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.

      2
              GATEXX_TEST_CHECK(!e.waitFor(time::Milliseconds(0)));
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      2
              e.set();
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      2
              e.wait();
    
        5/14✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
✓ Branch 11 taken 1 times.
✗ Branch 12 not taken.
✓ Branch 14 taken 1 times.
✗ Branch 15 not taken.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.

      2
              GATEXX_TEST_CHECK(e.waitFor(time::Milliseconds(0)));
    
          }
    
      2
      }
    
        2/7✓ Branch 2 taken 1 times.
✓ Branch 3 taken 1 times.
✗ Branch 4 not taken.
✗ Branch 11 not taken.
✗ Branch 12 not taken.
✗ Branch 14 not taken.
✗ Branch 15 not taken.

      6
      GATEXX_TEST_UNIT(Semaphore)
    
      {
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      4
          Semaphore s(2);
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      2
          s.acquire();
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      2
          s.acquire();
    
        5/14✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 9 taken 1 times.
✗ Branch 10 not taken.
✓ Branch 12 taken 1 times.
✗ Branch 13 not taken.
✗ Branch 15 not taken.
✗ Branch 16 not taken.
✗ Branch 18 not taken.
✗ Branch 19 not taken.

      2
          GATEXX_TEST_CHECK(!s.timedAcquire(0));
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      2
          s.release();
    
        5/14✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 1 times.
✗ Branch 8 not taken.
✓ Branch 9 taken 1 times.
✗ Branch 10 not taken.
✓ Branch 12 taken 1 times.
✗ Branch 13 not taken.
✗ Branch 15 not taken.
✗ Branch 16 not taken.
✗ Branch 18 not taken.
✗ Branch 19 not taken.

      2
          GATEXX_TEST_CHECK(s.timedAcquire(0));
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      2
          s.release();
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      2
          s.release();
    
      2
      }
    
        2/7✓ Branch 2 taken 1 times.
✓ Branch 3 taken 1 times.
✗ Branch 4 not taken.
✗ Branch 11 not taken.
✗ Branch 12 not taken.
✗ Branch 14 not taken.
✗ Branch 15 not taken.

      6
      GATEXX_TEST_UNIT(Mutex)
    
      {
    
          {
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      4
              Mutex m;
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      2
              m.acquire();
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      2
              Thread::yield();
    
      2
              m.release();
    
          }
    
          {
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      4
              Mutex m;
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      4
              MutexLock l(m);
    
        1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.

      2
              Thread::yield();
    
          }
    
      2
      }

Line	Branch	Exec	Source
1			#include "gate/tests.hpp"
2			#include "gate/synchronization.hpp"
3			#include "gate/threading.hpp"
4
5			using namespace gate;
6
7
8	2/7 ✓ Branch 2 taken 1 times. ✓ Branch 3 taken 1 times. ✗ Branch 4 not taken. ✗ Branch 11 not taken. ✗ Branch 12 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken.	6	GATEXX_TEST_UNIT(Future)
9			{
10	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	4	Future<int> f;
11	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	4	Future<int> f2(f);
12	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	4	Future<int> f3;
13	5/14 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 9 taken 1 times. ✗ Branch 10 not taken. ✓ Branch 12 taken 1 times. ✗ Branch 13 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 18 not taken. ✗ Branch 19 not taken.	2	GATEXX_TEST_CHECK(f.c_impl() != NULL);
14	4/12 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✗ Branch 13 not taken. ✗ Branch 14 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken.	2	GATEXX_TEST_CHECK(f.empty());
15	4/12 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✗ Branch 13 not taken. ✗ Branch 14 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken.	2	GATEXX_TEST_CHECK(f.getData() == NULL);
16	4/12 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✗ Branch 13 not taken. ✗ Branch 14 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken.	2	GATEXX_TEST_CHECK_EQUAL(f.hasValue(), false);
17	5/14 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 8 taken 1 times. ✗ Branch 9 not taken. ✓ Branch 11 taken 1 times. ✗ Branch 12 not taken. ✓ Branch 14 taken 1 times. ✗ Branch 15 not taken. ✗ Branch 17 not taken. ✗ Branch 18 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken.	2	GATEXX_TEST_CHECK_EQUAL(f.waitFor(time::Seconds(0)), false);
18	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	2	f3 = f;
19	4/14 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 17 not taken. ✗ Branch 18 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken.	2	GATEXX_TEST_CHECK_NOTHROW(f.set(results::Ok, 42));
20	5/14 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✗ Branch 7 not taken. ✓ Branch 8 taken 1 times. ✗ Branch 10 not taken. ✗ Branch 11 not taken. ✗ Branch 13 not taken. ✗ Branch 14 not taken. ✓ Branch 17 taken 1 times. ✗ Branch 18 not taken. ✓ Branch 20 taken 1 times. ✗ Branch 21 not taken.	4	GATEXX_TEST_CHECK_THROW(f.set(results::Ok, 22));
21	4/14 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 17 not taken. ✗ Branch 18 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken.	2	GATEXX_TEST_CHECK_NOTHROW(f.wait());
22	4/12 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✗ Branch 13 not taken. ✗ Branch 14 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken.	2	GATEXX_TEST_CHECK(f.hasValue());
23	4/12 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✗ Branch 13 not taken. ✗ Branch 14 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken.	2	GATEXX_TEST_CHECK(f.getData() != NULL);
24	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	2	int received_value = f.value();
25	4/12 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 1 times. ✗ Branch 7 not taken. ✓ Branch 9 taken 1 times. ✗ Branch 10 not taken. ✗ Branch 12 not taken. ✗ Branch 13 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken.	2	GATEXX_TEST_CHECK_EQUAL(received_value, 42);
26	4/12 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✗ Branch 13 not taken. ✗ Branch 14 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken.	2	GATEXX_TEST_CHECK(f2.hasValue());
27	5/14 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 9 taken 1 times. ✗ Branch 10 not taken. ✓ Branch 12 taken 1 times. ✗ Branch 13 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 18 not taken. ✗ Branch 19 not taken.	2	GATEXX_TEST_CHECK_EQUAL(f3.value(), 42);
28		2	}
29
30
31	2/7 ✓ Branch 2 taken 1 times. ✓ Branch 3 taken 1 times. ✗ Branch 4 not taken. ✗ Branch 11 not taken. ✗ Branch 12 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken.	6	GATEXX_TEST_UNIT(SyncCondition)
32			{
33	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	4	Mutex m;
34	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	4	SyncCondition c;
35
36			static gate::uint32_t const notimeout = 0;
37
38			{
39	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	4	MutexLock l(m);
40	5/14 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 9 taken 1 times. ✗ Branch 10 not taken. ✓ Branch 12 taken 1 times. ✗ Branch 13 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 18 not taken. ✗ Branch 19 not taken.	2	GATEXX_TEST_CHECK(!c.waitFor(l, notimeout));
41			}
42
43			{
44	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	4	TimeCounter tc = TimeCounter::now();
45	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	4	MutexLock l(m);
46	5/14 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 9 taken 1 times. ✗ Branch 10 not taken. ✓ Branch 12 taken 1 times. ✗ Branch 13 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 18 not taken. ✗ Branch 19 not taken.	2	GATEXX_TEST_CHECK(!c.waitUntil(l, tc));
47			}
48
49			{
50	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	2	Time t = Time::now();
51	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	4	MutexLock l(m);
52	5/14 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 9 taken 1 times. ✗ Branch 10 not taken. ✓ Branch 12 taken 1 times. ✗ Branch 13 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 18 not taken. ✗ Branch 19 not taken.	2	GATEXX_TEST_CHECK(!c.waitUntil(l, t));
53			}
54
55	4/14 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 17 not taken. ✗ Branch 18 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken.	2	GATEXX_TEST_CHECK_NOTHROW(c.signalOne());
56	4/14 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 10 taken 1 times. ✗ Branch 11 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 17 not taken. ✗ Branch 18 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken.	2	GATEXX_TEST_CHECK_NOTHROW(c.signalAll());
57		2	}
58
59	2/7 ✓ Branch 2 taken 1 times. ✓ Branch 3 taken 1 times. ✗ Branch 4 not taken. ✗ Branch 11 not taken. ✗ Branch 12 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken.	6	GATEXX_TEST_UNIT(SyncEvent)
60			{
61			{ // auto-reset event
62	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	4	SyncEvent e(true);
63	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	2	e.reset();
64	5/14 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 8 taken 1 times. ✗ Branch 9 not taken. ✓ Branch 11 taken 1 times. ✗ Branch 12 not taken. ✓ Branch 14 taken 1 times. ✗ Branch 15 not taken. ✗ Branch 17 not taken. ✗ Branch 18 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken.	2	GATEXX_TEST_CHECK(!e.waitFor(time::Milliseconds(0)));
65	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	2	e.set();
66	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	2	e.wait();
67	5/14 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 8 taken 1 times. ✗ Branch 9 not taken. ✓ Branch 11 taken 1 times. ✗ Branch 12 not taken. ✓ Branch 14 taken 1 times. ✗ Branch 15 not taken. ✗ Branch 17 not taken. ✗ Branch 18 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken.	2	GATEXX_TEST_CHECK(!e.waitFor(time::Milliseconds(0)));
68			}
69
70			{ // manual-reset event
71	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	4	SyncEvent e(false);
72	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	2	e.reset();
73	5/14 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 8 taken 1 times. ✗ Branch 9 not taken. ✓ Branch 11 taken 1 times. ✗ Branch 12 not taken. ✓ Branch 14 taken 1 times. ✗ Branch 15 not taken. ✗ Branch 17 not taken. ✗ Branch 18 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken.	2	GATEXX_TEST_CHECK(!e.waitFor(time::Milliseconds(0)));
74	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	2	e.set();
75	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	2	e.wait();
76	5/14 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 8 taken 1 times. ✗ Branch 9 not taken. ✓ Branch 11 taken 1 times. ✗ Branch 12 not taken. ✓ Branch 14 taken 1 times. ✗ Branch 15 not taken. ✗ Branch 17 not taken. ✗ Branch 18 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken.	2	GATEXX_TEST_CHECK(e.waitFor(time::Milliseconds(0)));
77			}
78		2	}
79
80	2/7 ✓ Branch 2 taken 1 times. ✓ Branch 3 taken 1 times. ✗ Branch 4 not taken. ✗ Branch 11 not taken. ✗ Branch 12 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken.	6	GATEXX_TEST_UNIT(Semaphore)
81			{
82	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	4	Semaphore s(2);
83	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	2	s.acquire();
84	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	2	s.acquire();
85	5/14 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 9 taken 1 times. ✗ Branch 10 not taken. ✓ Branch 12 taken 1 times. ✗ Branch 13 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 18 not taken. ✗ Branch 19 not taken.	2	GATEXX_TEST_CHECK(!s.timedAcquire(0));
86	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	2	s.release();
87	5/14 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken. ✓ Branch 4 taken 1 times. ✗ Branch 5 not taken. ✓ Branch 7 taken 1 times. ✗ Branch 8 not taken. ✓ Branch 9 taken 1 times. ✗ Branch 10 not taken. ✓ Branch 12 taken 1 times. ✗ Branch 13 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 18 not taken. ✗ Branch 19 not taken.	2	GATEXX_TEST_CHECK(s.timedAcquire(0));
88	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	2	s.release();
89	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	2	s.release();
90		2	}
91
92	2/7 ✓ Branch 2 taken 1 times. ✓ Branch 3 taken 1 times. ✗ Branch 4 not taken. ✗ Branch 11 not taken. ✗ Branch 12 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken.	6	GATEXX_TEST_UNIT(Mutex)
93			{
94			{
95	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	4	Mutex m;
96	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	2	m.acquire();
97	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	2	Thread::yield();
98		2	m.release();
99			}
100
101			{
102	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	4	Mutex m;
103	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	4	MutexLock l(m);
104	1/2 ✓ Branch 1 taken 1 times. ✗ Branch 2 not taken.	2	Thread::yield();
105			}
106		2	}
107
108