warnx_spec() coverage

specification void warnx_spec( CallContext context, CString *fmt, List *arguments, CString *errput, CString *stderrAsFile )

coverages	branches	failures	hits/fails
C_Priority	Process with high priority	failure 299: Requirement failed: {} Check output failure 300: Requirement failed: {} Check output failure 301: Requirement failed: {} Check output failure 302: Requirement failed: {} Check output failure 303: Requirement failed: {} Check output failure 304: Requirement failed: {} Check output failure 305: Requirement failed: {} Check output failure 306: Requirement failed: {} Check output failure 307: Requirement failed: {} Check output failure 308: Requirement failed: {} Check output failure 309: Requirement failed: {} Check output failure 310: Requirement failed: {} Check output failure 311: Requirement failed: {} Check output failure 312: Requirement failed: {} Check output failure 313: Requirement failed: {} Check output failure 314: Requirement failed: {} Check output failure 315: Requirement failed: {} Check output failure 316: Requirement failed: {} Check output failure 317: Requirement failed: {} Check output failure 318: Requirement failed: {} Check output failure 319: Requirement failed: {} Check output failure 320: Requirement failed: {} Check output failure 321: Requirement failed: {} Check output failure 322: Requirement failed: {} Check output failure 323: Requirement failed: {} Check output failure 324: Requirement failed: {} Check output failure 325: Requirement failed: {} Check output failure 326: Requirement failed: {} Check output failure 327: Requirement failed: {} Check output failure 328: Requirement failed: {} Check output failure 329: Requirement failed: {} Check output failure 330: Requirement failed: {} Check output failure 331: Requirement failed: {} Check output failure 332: Requirement failed: {} Check output failure 333: Requirement failed: {} Check output failure 334: Requirement failed: {} Check output failure 335: Requirement failed: {} Check output failure 336: Requirement failed: {} Check output failure 337: Requirement failed: {} Check output failure 338: Requirement failed: {} Check output failure 339: Requirement failed: {} Check output failure 340: Requirement failed: {} Check output failure 341: Requirement failed: {} Check output failure 342: Requirement failed: {} Check output failure 343: Requirement failed: {} Check output failure 344: Requirement failed: {} Check output failure 345: Requirement failed: {} Check output failure 346: Requirement failed: {} Check output failure 347: Requirement failed: {} Check output failure 348: Requirement failed: {} Check output failure 349: Requirement failed: {} Check output failure 350: Requirement failed: {} Check output failure 351: Requirement failed: {} Check output failure 352: Requirement failed: {} Check output failure 353: Requirement failed: {} Check output failure 354: Requirement failed: {} Check output failure 355: Requirement failed: {} Check output failure 356: Requirement failed: {} Check output failure 357: Requirement failed: {} Check output failure 358: Requirement failed: {} Check output failure 359: Requirement failed: {} Check output failure 360: Requirement failed: {} Check output failure 361: Requirement failed: {} Check output failure 362: Requirement failed: {} Check output failure 363: Requirement failed: {} Check output failure 364: Requirement failed: {} Check output failure 365: Requirement failed: {} Check output failure 366: Requirement failed: {} Check output failure 367: Requirement failed: {} Check output failure 368: Requirement failed: {} Check output failure 369: Requirement failed: {} Check output failure 370: Requirement failed: {} Check output failure 371: Requirement failed: {} Check output failure 372: Requirement failed: {} Check output failure 373: Requirement failed: {} Check output failure 374: Requirement failed: {} Check output failure 375: Requirement failed: {} Check output failure 376: Requirement failed: {} Check output failure 377: Requirement failed: {} Check output failure 378: Requirement failed: {} Check output failure 379: Requirement failed: {} Check output failure 380: Requirement failed: {} Check output failure 381: Requirement failed: {} Check output failure 382: Requirement failed: {} Check output failure 383: Requirement failed: {} Check output failure 384: Requirement failed: {} Check output failure 385: Requirement failed: {} Check output failure 386: Requirement failed: {} Check output failure 387: Requirement failed: {} Check output failure 388: Requirement failed: {} Check output failure 389: Requirement failed: {} Check output failure 390: Requirement failed: {} Check output failure 391: Requirement failed: {} Check output failure 392: Requirement failed: {} Check output failure 393: Requirement failed: {} Check output failure 394: Requirement failed: {} Check output failure 395: Requirement failed: {} Check output failure 396: Requirement failed: {} Check output failure 397: Requirement failed: {} Check output failure 398: Requirement failed: {} Check output failure 399: Requirement failed: {} Check output failure 400: Requirement failed: {} Check output failure 401: Requirement failed: {} Check output failure 402: Requirement failed: {} Check output failure 403: Requirement failed: {} Check output failure 404: Requirement failed: {} Check output failure 405: Requirement failed: {} Check output failure 406: Requirement failed: {} Check output failure 407: Requirement failed: {} Check output failure 408: Requirement failed: {} Check output failure 409: Requirement failed: {} Check output failure 410: Requirement failed: {} Check output failure 411: Requirement failed: {} Check output failure 412: Requirement failed: {} Check output failure 413: Requirement failed: {} Check output failure 414: Requirement failed: {} Check output failure 415: Requirement failed: {} Check output failure 416: Requirement failed: {} Check output failure 417: Requirement failed: {} Check output failure 418: Requirement failed: {} Check output failure 419: Requirement failed: {} Check output failure 420: Requirement failed: {} Check output failure 421: Requirement failed: {} Check output failure 422: Requirement failed: {} Check output failure 423: Requirement failed: {} Check output failure 424: Requirement failed: {} Check output failure 425: Requirement failed: {} Check output failure 426: Requirement failed: {} Check output failure 427: Requirement failed: {} Check output failure 428: Requirement failed: {} Check output failure 429: Requirement failed: {} Check output failure 430: Requirement failed: {} Check output failure 431: Requirement failed: {} Check output failure 432: Requirement failed: {} Check output failure 433: Requirement failed: {} Check output failure 434: Requirement failed: {} Check output failure 435: Requirement failed: {} Check output failure 436: Requirement failed: {} Check output failure 437: Requirement failed: {} Check output failure 438: Requirement failed: {} Check output failure 439: Requirement failed: {} Check output failure 440: Requirement failed: {} Check output failure 441: Requirement failed: {} Check output failure 442: Requirement failed: {} Check output failure 443: Requirement failed: {} Check output failure 444: Requirement failed: {} Check output failure 445: Requirement failed: {} Check output failure 446: Requirement failed: {} Check output failure 447: Requirement failed: {} Check output failure 448: Requirement failed: {} Check output failure 449: Requirement failed: {} Check output failure 450: Requirement failed: {} Check output failure 451: Requirement failed: {} Check output failure 452: Requirement failed: {} Check output failure 453: Requirement failed: {} Check output failure 454: Requirement failed: {} Check output failure 455: Requirement failed: {} Check output failure 456: Requirement failed: {} Check output failure 457: Requirement failed: {} Check output failure 458: Requirement failed: {} Check output failure 459: Requirement failed: {} Check output failure 460: Requirement failed: {} Check output failure 461: Requirement failed: {} Check output failure 462: Requirement failed: {} Check output failure 463: Requirement failed: {} Check output failure 464: Requirement failed: {} Check output failure 465: Requirement failed: {} Check output failure 466: Requirement failed: {} Check output failure 467: Requirement failed: {} Check output failure 468: Requirement failed: {} Check output failure 469: Requirement failed: {} Check output failure 470: Requirement failed: {} Check output failure 471: Requirement failed: {} Check output failure 472: Requirement failed: {} Check output failure 473: Requirement failed: {} Check output failure 474: Requirement failed: {} Check output failure 475: Requirement failed: {} Check output failure 476: Requirement failed: {} Check output failure 477: Requirement failed: {} Check output failure 478: Requirement failed: {} Check output failure 479: Requirement failed: {} Check output failure 480: Requirement failed: {} Check output failure 481: Requirement failed: {} Check output failure 482: Requirement failed: {} Check output failure 483: Requirement failed: {} Check output failure 484: Requirement failed: {} Check output failure 485: Requirement failed: {} Check output failure 486: Requirement failed: {} Check output failure 487: Requirement failed: {} Check output failure 488: Requirement failed: {} Check output failure 489: Requirement failed: {} Check output failure 490: Requirement failed: {} Check output failure 491: Requirement failed: {} Check output failure 492: Requirement failed: {} Check output failure 493: Requirement failed: {} Check output failure 494: Requirement failed: {} Check output failure 495: Requirement failed: {} Check output failure 496: Requirement failed: {} Check output failure 497: Requirement failed: {} Check output failure 498: Requirement failed: {} Check output	200/200
	Process with low priority		0
	Process with unknown priority		0
	33% (1/3)		200/200