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 174: Requirement failed: {} Check output failure 175: Requirement failed: {} Check output failure 176: Requirement failed: {} Check output failure 177: Requirement failed: {} Check output failure 178: Requirement failed: {} Check output failure 179: Requirement failed: {} Check output failure 180: Requirement failed: {} Check output failure 181: Requirement failed: {} Check output failure 182: Requirement failed: {} Check output failure 183: Requirement failed: {} Check output failure 184: Requirement failed: {} Check output failure 185: Requirement failed: {} Check output failure 186: Requirement failed: {} Check output failure 187: Requirement failed: {} Check output failure 188: Requirement failed: {} Check output failure 189: Requirement failed: {} Check output failure 190: Requirement failed: {} Check output failure 191: Requirement failed: {} Check output failure 192: Requirement failed: {} Check output failure 193: Requirement failed: {} Check output failure 194: Requirement failed: {} Check output failure 195: Requirement failed: {} Check output failure 196: Requirement failed: {} Check output failure 197: Requirement failed: {} Check output failure 198: Requirement failed: {} Check output failure 199: Requirement failed: {} Check output failure 200: Requirement failed: {} Check output failure 201: Requirement failed: {} Check output failure 202: Requirement failed: {} Check output failure 203: Requirement failed: {} Check output failure 204: Requirement failed: {} Check output failure 205: Requirement failed: {} Check output failure 206: Requirement failed: {} Check output failure 207: Requirement failed: {} Check output failure 208: Requirement failed: {} Check output failure 209: Requirement failed: {} Check output failure 210: Requirement failed: {} Check output failure 211: Requirement failed: {} Check output failure 212: Requirement failed: {} Check output failure 213: Requirement failed: {} Check output 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	200/200
	Process with low priority		0
	Process with unknown priority		0
	33% (1/3)		200/200