ASSX
ASSX(n != -1);
ASSX(n == 0);
ASSX(n != -1 && n != 0);
ASSX(pid2 != -1);
ASSX(didchild == 1);
ASSX(didfork == 1);
ASSX(ke.filter == EVFILT_PROC);
ASSX((pid_t)ke.ident == pid);
ASSX((pid_t)ke.ident == pid2);
ASSX(ke.filter == EVFILT_PROC);
ASSX((pid_t)ke.data == pid);
ASSX(ke.ident == pid);
ASSX(pty_check(kq, ev, 4, -massa, -slave, massa, slave) == 0);
ASSX(pty_check(kq, ev, 4, -massa, slave, -massa, slave) == 0);
ASSX(pty_check(kq, ev, 4, -massa, slave, massa, slave) == 0);
ASSX(pty_check(kq, ev, 4, -massa, -slave, massa, slave) == 0);
ASSX(n == 1);
ASSX(ev[0].filter == EVFILT_READ);
ASSX(ev[0].flags & EV_EOF);
ASSX(n != 0);
ASSX(ev->ident != -rm);
ASSX(ev->ident != -rs);
ASSX(ev->ident != -wm);
ASSX(ev->ident != -ws);
ASSX(rm <= 0);
ASSX(rs <= 0);
ASSX(wm <= 0);
ASSX(ws <= 0);
ASSX(pty_check(kq, ev, 4, -massa, -slave, massa, slave) == 0);
ASSX(pty_check(kq, ev, 4, -massa, slave, massa, slave) == 0);
ASSX(n != -1);
ASSX(n >= 0);
ASSX(read(fd, buf, n) > 0);
ASSX(ke.filter == EVFILT_SIGNAL);
ASSX(ke.ident == signum);
ASSX(ke.data == catch);
ASSX(saw_usr1 == 0);
ASSX(saw_usr1 == 1);
ASSX(sigtest(SIGUSR2, 1) == 0);
ASSX(sigtest(SIGUSR2, 2) == 0);
ASSX(n != -1);
ASSX(n != -1);
ASSX(n == 1);
ASSX(usecs > 0);
ASSX(usecs < 1500000); /* allow wide margin */
ASSX(n != -1);
ASSX(n == 1);
ASSX(usecs > 0);
ASSX(usecs < 100000); /* allow wide margin */
ASSX(n == 1);
ASSX(n != -1);
ASSX(n == -1 && errno == EINVAL);
ASSX(n == 0);
ASSX(n == -1 && errno == EINVAL);
ASSX(n != -1);
ASSX(n != -1);
ASSX(n == 0);
ASSX(n != -1);
ASSX(n == 1);
ASSX(msecs > 200);
ASSX(msecs < 5000); /* allow wide margin */
ASSX(n != -1);
ASSX(n == 1);
ASSX(n != -1);
ASSX(n == 1);
ASSX(n != -1);
ASSX(n == 1);
ASSX(n == 0);
ASSX(n == 1);
ASSX(kev[0].ident == 2);
ASSX(kev[0].fflags == 0x11);
ASSX(kev[0].data == 24);
ASSX(kev[0].udata == &dummy2);
ASSX(n == 0);
ASSX(n == 1);
ASSX(kev[0].ident == 2);
ASSX(kev[0].fflags == 0x11);
ASSX(kev[0].data == 9);
ASSX(kev[0].udata == &dummy2);
ASSX(n == 0);
ASSX(n == 0);
ASSX(n == 0);
ASSX(n == 1);
ASSX(kev[0].ident == 1);
ASSX(kev[0].fflags == 0x0faaf0);
ASSX(kev[0].data == 0);
ASSX(kev[0].udata == NULL);
ASSX(errno == ENOMEM);
ASSX(n == 0);
ASSX(i < 1000000);
ASSX(n == 0);
ASSX(n == 0);
ASSX(n == -1);
ASSX(errno == ENOMEM);
ASSX(n == 0);
ASSX(n == 0);
ASSX(n == 1);
ASSX(kev[0].ident == 1);
ASSX(kev[0].fflags == NOTE_FFLAGSMASK);
ASSX(kev[0].data == 123);
ASSX(kev[0].udata == &dummy);
ASSX(n == 0);
ASSX(n == 2);
ASSX(kev[0].ident == 1);
ASSX(kev[0].fflags == NOTE_FFLAGSMASK);
ASSX(kev[0].data == 123);
ASSX(kev[0].udata == &dummy);
ASSX(kev[1].ident == 2);
ASSX(kev[1].fflags == 0);
ASSX(kev[1].data == 654);
ASSX(kev[1].udata == &dummy2);
ASSX(n == 0);
ASSX(n == 1);
ASSX(kev[0].ident == 2);
ASSX(kev[0].fflags == 0);
ASSX(kev[0].data == 654);
ASSX(kev[0].udata == &dummy2);
ASSX(n == 0);
ASSX(n == 0);