Searched refs:false_stree (Results 1 – 2 of 2) sorted by relevance
556 struct stree *true_stree, *false_stree, *fake_stree; in __handle_condition_assigns() local574 false_stree = __get_false_states(); in __handle_condition_assigns()597 overwrite_sm_state_stree(&false_stree, sm); in __handle_condition_assigns()602 merge_fake_stree(&true_stree, false_stree); in __handle_condition_assigns()603 free_stree(&false_stree); in __handle_condition_assigns()
143 struct stree *true_stree, *false_stree; in create_fake_history() local192 false_stree = clone_stree(sm->pool); in create_fake_history()195 overwrite_sm_state_stree(&false_stree, false_sm); in create_fake_history()198 false_sm->pool = false_stree; in create_fake_history()