#ifndef TESH_H
#define TESH_H
+#include "portable.h"
#include "xbt/xbt_os_thread.h"
#include "xbt/strbuff.h"
const char* signal_name(unsigned int got, char *expected);
#include "run_context.h"
-
+
/*** Options ***/
int timeout_value; /* child timeout value */