/* TESH (Test Shell) -- mini shell specialized in running test units */
-/* Copyright (c) 2007, 2008, 2009, 2010. The SimGrid Team.
+/* Copyright (c) 2007-2011. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
extern int sort_len; /* length of the prefix to sort */
extern char* option; /* cfg for command line */
#define SORT_LEN_DEFAULT 19
+extern int coverage; /* coverage */
extern rctx_t rctx;
extern const char *testsuite_name;