Searched refs:true_stree (Results 1 – 2 of 2) sorted by relevance
556 struct stree *true_stree, *false_stree, *fake_stree; in __handle_condition_assigns() local573 true_stree = __get_true_states(); in __handle_condition_assigns()582 overwrite_sm_state_stree(&true_stree, sm); in __handle_condition_assigns()602 merge_fake_stree(&true_stree, false_stree); in __handle_condition_assigns()604 FOR_EACH_SM(true_stree, sm) { in __handle_condition_assigns()
143 struct stree *true_stree, *false_stree; in create_fake_history() local191 true_stree = clone_stree(sm->pool); in create_fake_history()194 overwrite_sm_state_stree(&true_stree, true_sm); in create_fake_history()197 true_sm->pool = true_stree; in create_fake_history()