sched_setscheduler_spec() coverage

specification IntT sched_setscheduler_spec( CallContext context, PidT pid, IntT policy, IntT *former_policy, ShedParam *param, ErrorCode *errno )

coverages branches failures hits/fails
pseudo_coverage The only branch failure 167: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy
failure 168: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy
failure 169: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy
failure 170: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy
failure 171: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy
failure 172: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy
failure 173: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy
failure 174: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy
failure 175: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy
failure 176: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy
failure 177: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy
failure 178: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy
failure 179: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy
failure 180: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy
failure 181: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy
failure 182: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy
22/16
100% (1/1)   22/16