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 230: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 231: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 232: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 233: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 234: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 235: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 236: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 237: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 238: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 239: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 240: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 241: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 242: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 243: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 244: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy failure 245: Requirement failed: {sched_setscheduler.22.01} Shall return the former scheduling policy	22/16
pseudo_coverage	100% (1/1)		22/16