- case Simcall::SEM_ACQUIRE: {
- static bool warned = false;
- if (not warned)
- XBT_INFO("Using semaphore in model-checked code is still experimental. Use at your own risk");
- warned = true;
- return true;
- }
-
- case Simcall::COND_WAIT: {
- static bool warned = false;
- if (not warned)
- XBT_INFO("Using condition variables in model-checked code is still experimental. Use at your own risk");
- warned = true;
- return true;
- }
-