1 #include "antithread/antithread.c"
5 int main(int argc, char *argv[])
11 char *bad_args[] = { "/", NULL };
13 atp = at_get_pool(&argc, argv, &arg);
15 *(int *)arg = getpid();
16 at_tell_parent(atp, arg);
25 atp = at_pool(1*1024*1024);
27 pid = talloc(at_pool_ctx(atp), int);
29 ok1((char *)pid >= (char *)atp->p->pool
30 && (char *)pid < (char *)atp->p->pool + atp->p->poolsize);
32 /* This is a failed spawn. */
33 at = at_spawn(atp, pid, bad_args);
36 /* This should work */
37 at = at_spawn(atp, pid, argv);
40 /* Should read back the pid pointer. */
41 ok1(at_read(at) == pid);
45 ok1(*pid != getpid());