fn post_cond_signal<'mir, 'tcx: 'mir>(
ecx: &mut MiriEvalContext<'mir, 'tcx>,
thread: ThreadId,
mutex: MutexId
) -> InterpResult<'tcx>
Expand description
After a thread waiting on a condvar was signalled: Reacquire the conditional variable and remove the timeout callback if any was registered.