extern void __VERIFIER_error() __attribute__ ((__noreturn__)); extern int __VERIFIER_nondet_int(); /* Generated by CIL v. 1.3.6 */ /* print_CIL_Input is true */ void error(void) { { ERROR: __VERIFIER_error(); return; } } int m_pc = 0; int t1_pc = 0; int t2_pc = 0; int t3_pc = 0; int t4_pc = 0; int t5_pc = 0; int t6_pc = 0; int m_st ; int t1_st ; int t2_st ; int t3_st ; int t4_st ; int t5_st ; int t6_st ; int m_i ; int t1_i ; int t2_i ; int t3_i ; int t4_i ; int t5_i ; int t6_i ; int M_E = 2; int T1_E = 2; int T2_E = 2; int T3_E = 2; int T4_E = 2; int T5_E = 2; int T6_E = 2; int E_1 = 2; int E_2 = 2; int E_3 = 2; int E_4 = 2; int E_5 = 2; int E_6 = 2; int is_master_triggered(void) ; int is_transmit1_triggered(void) ; int is_transmit2_triggered(void) ; int is_transmit3_triggered(void) ; int is_transmit4_triggered(void) ; int is_transmit5_triggered(void) ; int is_transmit6_triggered(void) ; void immediate_notify(void) ; void master(void) { { if (m_pc == 0) { goto M_ENTRY; } else { if (m_pc == 1) { goto M_WAIT; } else { } } M_ENTRY: ; { while (1) { while_0_continue: /* CIL Label */ ; { E_1 = 1; immediate_notify(); E_1 = 2; } { while (1) { while_1_continue: /* CIL Label */ ; m_pc = 1; m_st = 2; goto return_label; M_WAIT: ; } while_1_break: /* CIL Label */ ; } } while_0_break: /* CIL Label */ ; } return_label: /* CIL Label */ return; } } void transmit1(void) {
content may be truncated. 'popout' for larger text window.