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 214: Requirement failed: {} Check output failure 215: Requirement failed: {} Check output failure 216: Requirement failed: {} Check output failure 217: Requirement failed: {} Check output failure 218: Requirement failed: {} Check output failure 219: Requirement failed: {} Check output failure 220: Requirement failed: {} Check output failure 221: Requirement failed: {} Check output failure 222: Requirement failed: {} Check output failure 223: Requirement failed: {} Check output failure 224: Requirement failed: {} Check output failure 225: Requirement failed: {} Check output failure 226: Requirement failed: {} Check output failure 227: Requirement failed: {} Check output failure 228: Requirement failed: {} Check output failure 229: Requirement failed: {} Check output failure 230: Requirement failed: {} Check output failure 231: Requirement failed: {} Check output failure 232: Requirement failed: {} Check output failure 233: Requirement failed: {} Check output failure 234: Requirement failed: {} Check output failure 235: Requirement failed: {} Check output failure 236: Requirement failed: {} Check output failure 237: Requirement failed: {} Check output failure 238: Requirement failed: {} Check output failure 239: Requirement failed: {} Check output failure 240: Requirement failed: {} Check output failure 241: Requirement failed: {} Check output failure 242: Requirement failed: {} Check output failure 243: Requirement failed: {} Check output failure 244: Requirement failed: {} Check output failure 245: Requirement failed: {} Check output failure 246: Requirement failed: {} Check output failure 247: Requirement failed: {} Check output failure 248: Requirement failed: {} Check output failure 249: Requirement failed: {} Check output failure 250: Requirement failed: {} Check output failure 251: Requirement failed: {} Check output failure 252: Requirement failed: {} Check output failure 253: Requirement failed: {} Check output failure 254: Requirement failed: {} Check output failure 255: Requirement failed: {} Check output failure 256: Requirement failed: {} Check output failure 257: Requirement failed: {} Check output failure 258: Requirement failed: {} Check output failure 259: Requirement failed: {} Check output failure 260: Requirement failed: {} Check output failure 261: Requirement failed: {} Check output failure 262: Requirement failed: {} Check output failure 263: Requirement failed: {} Check output failure 264: Requirement failed: {} Check output failure 265: Requirement failed: {} Check output failure 266: Requirement failed: {} Check output failure 267: Requirement failed: {} Check output failure 268: Requirement failed: {} Check output failure 269: Requirement failed: {} Check output failure 270: Requirement failed: {} Check output failure 271: Requirement failed: {} Check output failure 272: Requirement failed: {} Check output failure 273: Requirement failed: {} Check output failure 274: Requirement failed: {} Check output failure 275: Requirement failed: {} Check output failure 276: Requirement failed: {} Check output failure 277: Requirement failed: {} Check output failure 278: Requirement failed: {} Check output failure 279: Requirement failed: {} Check output failure 280: Requirement failed: {} Check output failure 281: Requirement failed: {} Check output failure 282: Requirement failed: {} Check output failure 283: Requirement failed: {} Check output failure 284: Requirement failed: {} Check output failure 285: Requirement failed: {} Check output failure 286: Requirement failed: {} Check output failure 287: Requirement failed: {} Check output failure 288: Requirement failed: {} Check output failure 289: Requirement failed: {} Check output failure 290: Requirement failed: {} Check output failure 291: Requirement failed: {} Check output failure 292: Requirement failed: {} Check output failure 293: Requirement failed: {} Check output failure 294: Requirement failed: {} Check output failure 295: Requirement failed: {} Check output failure 296: Requirement failed: {} Check output failure 297: Requirement failed: {} Check output failure 298: Requirement failed: {} Check output 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	200/200
	Process with low priority		0
	Process with unknown priority		0
	33% (1/3)		200/200