Add --enable-coverage to tesh self-tests.

[simgrid.git] / tools / tesh / catch-signal.tesh

diff --git a/tools/tesh/catch-signal.tesh b/tools/tesh/catch-signal.tesh
index 2c85e62..7cde981 100644 (file)
--- a/tools/tesh/catch-signal.tesh
+++ b/tools/tesh/catch-signal.tesh
@@ -2,10 +2,10 @@
 # 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;
@@ -17,12 +17,13 @@ $ 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