3 /* TESH (Test Shell) -- mini shell specialized in running test units */
5 /* Copyright (c) 2007 Martin Quinson. */
6 /* All rights reserved. */
8 /* This program is free software; you can redistribute it and/or modify it
9 * under the terms of the license (GNU LGPL) which comes with this package. */
14 #include "xbt/xbt_os_thread.h"
19 /*** What we need to know about signals ***/
20 /******************************************/
21 /* return the name of a signal, aliasing SIGBUS to SIGSEGV since
22 segfault leads to any of them depending on the system */
23 const char* signal_name(unsigned int got, char *expected);
25 #include "run_context.h"
28 int timeout_value; /* child timeout value */