Model-checker doesn't support <condition_variable> header yet.
#include <unrelacy.h>
#include <atomic>
#include <mutex>
#include <unrelacy.h>
#include <atomic>
#include <mutex>
+#include <condition_variable>
std::atomic<unsigned> count;
rl::var<unsigned> waiters;
std::mutex guard;
std::atomic<unsigned> count;
rl::var<unsigned> waiters;
std::mutex guard;
- condition_variable_any cv;
+ std::condition_variable_any cv;
void signal_impl(unsigned cmp)
{
void signal_impl(unsigned cmp)
{