Searched refs:verify_true (Results 1 – 1 of 1) sorted by relevance
127 # define verify_true(R) \ macro130 # define verify_true(R) \ macro138 # define verify(R) extern int (* verify_function__ (void)) [verify_true (R)]