X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/45fd73e922fcbd14b67a7327940bb2d63df60c02..7d9a2608433e246294b7c4b339371fd4d3530ba6:/tools/tesh/catch-signal.tesh

diff --git a/tools/tesh/catch-signal.tesh b/tools/tesh/catch-signal.tesh
index 0d718c6422..7cde9813b1 100644
--- a/tools/tesh/catch-signal.tesh
+++ b/tools/tesh/catch-signal.tesh
@@ -2,27 +2,28 @@
 # This suite builds and uses a program raising a segfault, ie a program dying
 # of SIGSEV. tesh must detect this condition and report the issue.
 
-$ rm -rf temp_testdir
-$ mkdir temp_testdir
+$ rm -rf temp_testdir-catch-signal
+$ mkdir temp_testdir-catch-signal
 
-$ cd temp_testdir
+$ cd temp_testdir-catch-signal
 < #include <stdlib.h>
 < int main(void) {
 <   char *A=NULL;
 <   *A = 1;
 < }
-$ cat > segfault.c
+$ mkfile segfault.c
 
 $ gcc -o segfault segfault.c
 
 ! expect return 15
 < $ ./segfault
-$ ../tesh --log='log.thresh:info tesh.fmt:%m%n'
+$ ../tesh --enable-coverage --log='log.thresh:info tesh.fmt:%m%n'
+> Enable coverage
 > Test suite from stdin
-> [stdin:1] ./segfault
-> Test suite `(stdin)': NOK (<stdin:1> got signal SIGSEGV)
-> Output of <stdin:1> so far: 
+> [(stdin):1] ./segfault
+> Test suite `(stdin)': NOK (<(stdin):1> got signal SIGSEGV)
+> Output of <(stdin):1> so far: 
 > ||
 
 $ cd ..
-$ rm -rf temp_testdir
+$ rm -rf temp_testdir-catch-signal