Searched refs:modified_random_verification_result (Results 1 – 2 of 2) sorted by relevance
110 bool modified_random_verification_result in main() local115 if (modified_random_verification_result) in main()
354 bool modified_random_verification_result in matching_test() local359 BOOST_TEST(!modified_random_verification_result); in matching_test()360 if (modified_random_verification_result) in matching_test()