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 160: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 161: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 162: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 163: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 164: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 165: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 166: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy 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	22/16
pseudo_coverage	100% (1/1)		22/16