Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : get hash of local and global variables which are not pointers
[simgrid.git] / tools / tesh / set-return.tesh
index d3b1600..ff0dd17 100644 (file)
@@ -2,19 +2,19 @@
 # This suite builds and uses a program returning 1.
 # tesh is instructed of this return code and must not whine.
 
-$ rm -rf temp_testdir
-$ mkdir temp_testdir
+$ rm -rf temp_testdir-set-return
+$ mkdir temp_testdir-set-return
 
-$ cd temp_testdir
+$ cd temp_testdir-set-return
 < #include <stdlib.h>
 < int main(void) {
 <   exit(1);
 < }
-$ cat > return1.c
+$ mkfile return1.c
 
 $ gcc -o return1 return1.c
 
 ! expect return 1
 $ ./return1
 $ cd ..
-$ rm -rf temp_testdir
+$ rm -rf temp_testdir-set-return