Searched refs:indent_pop (Results 1 – 1 of 1) sorted by relevance
3832 indent_pop(); in effects_test()3920 indent_pop(); in requirements_test()4055 indent_pop(); in requirements_test()4150 indent_pop(); in causes_test()4161 indent_pop(); in causes_test()4168 indent_pop(); in causes_test()4216 indent_pop(); in hypothesise()4224 indent_pop(); in hypothesise()4232 indent_pop(); in hypothesise()4242 indent_pop(); in hypothesise()[all …]