Searched refs:EF_STATUS_IDLE (Results 1 – 4 of 4) sorted by relevance
169 EF_STATUS_IDLE, // before call to efsolver_check enumerator
117 solver->status = EF_STATUS_IDLE; in init_ef_solver()727 assert(solver->status == EF_STATUS_IDLE); in ef_solver_start()
3018 case EF_STATUS_IDLE: in print_ef_status()
1510 case EF_STATUS_IDLE: in report_ef_status()