Esempio n. 1
0
void thread_open() {
    while (nondet)
    {
        yield();
        i2c_hid_open();
    }
}
Esempio n. 2
0
void thread_open() {
while (1){
    i2c_hid_open();
}
}
Esempio n. 3
0
void main() {
__CPROVER_ASYNC_1: i2c_hid_open();
}
Esempio n. 4
0
void thread_open() { int thread_id = corral_getThreadID();
  while (1) {
    i2c_hid_open();
  }
}