diff dstress.c @ 361:0147a35cbeb7

dif. fixes 5
author thomask
date Fri, 25 Mar 2005 05:25:33 +0000
parents 1062095b7a23
children 177ce8d13eac
line wrap: on
line diff
--- a/dstress.c	Fri Mar 25 05:22:21 2005 +0000
+++ b/dstress.c	Fri Mar 25 05:25:33 2005 +0000
@@ -125,7 +125,8 @@
 
 #else 
 #error no loadFile adaptation for this system available
-#error no crashRun adaptation for this system available
+#error no crashRun adaptation for this system available /* like system(char*) but has to return without human intervention even if the application segfaults */
+
 #endif /* WIN32 else */
 #endif /* USE_POSIX else */
 
@@ -396,8 +397,12 @@
 				printf("ERROR:\t%s [%d]\n", arg[2], res);
 			}
 		}else{
-			if(res==RETURN_FAIL && good_error){
-				printf("XFAIL:\t%s\n", arg[2]);
+			if(res==RETURN_FAIL){
+				if(good_error){
+					printf("XFAIL:\t%s\n", arg[2]);
+				}else{
+					printf("FAIL: \t%s\n", arg[2]);
+				}
 			}else if(res==RETURN_OK){
 				printf("XPASS:\t%s\n", arg[2]);
 			}else{
@@ -482,8 +487,12 @@
 				printf("ERROR:\t%s [run: %d]\n", arg[2], res);
 			}
 		}else{
-			if(res==RETURN_FAIL && good_error){
-				printf("XFAIL:\t%s\n", arg[2]);
+			if(res==RETURN_FAIL){
+				if(good_error){
+					printf("XFAIL:\t%s\n", arg[2]);
+				}else{
+					printf("FAIL: \t%s\n", arg[2]);
+				}
 			}else if(res==RETURN_OK){
 				printf("XPASS:\t%s [norun: %d]\n", arg[2], res);
 			}else{