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 t7_pc = 0; int t8_pc = 0; int t9_pc = 0; int t10_pc = 0; int t11_pc = 0; int m_st ; int t1_st ; int t2_st ; int t3_st ; int t4_st ; int t5_st ; int t6_st ; int t7_st ; int t8_st ; int t9_st ; int t10_st ; int t11_st ; int m_i ; int t1_i ; int t2_i ; int t3_i ; int t4_i ; int t5_i ; int t6_i ; int t7_i ; int t8_i ; int t9_i ; int t10_i ; int t11_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 T7_E = 2; int T8_E = 2; int T9_E = 2; int T10_E = 2; int T11_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 E_7 = 2; int E_8 = 2; int E_9 = 2; int E_10 = 2; int E_11 = 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) ; int is_transmit7_triggered(void) ; int is_transmit8_triggered(void) ; int is_transmit9_triggered(void) ; int is_transmit10_triggered(void) ; int is_transmit11_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: ;
content may be truncated. 'popout' for larger text window.