ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
sched.h
Go to the documentation of this file.
1
2#pragma once
3
4int sched_yield(void);
int sched_yield(void)