#ifndef TESH_H
#define TESH_H
-/*** Buffers ***/
-/***************/
-#include "buff.h"
+#include "portable.h"
+#include "xbt/xbt_os_thread.h"
+#include "xbt/strbuff.h"
/*** What we need to know about signals ***/
/******************************************/
segfault leads to any of them depending on the system */
const char* signal_name(unsigned int got, char *expected);
+#include "run_context.h"
+
+/*** Options ***/
+int timeout_value; /* child timeout value */
-
+rctx_t rctx;
+char *testsuite_name;
#endif /* TESH_H */