DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

fix so count of failed tests is correct

Browse Source
This commit is contained in:
Alex Groce 2019-01-03 14:52:46 -07:00
parent 80e285a3bc
commit ca400bc2a0
2 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/include/deepstate/DeepState.h
View File

@ -860,8 +860,9 @@ static int DeepState_Run(void) {
} else {
DeepState_Begin(test);
}
num_failed_tests += DeepState_ForkAndRunTest(test);
if (DeepState_ForkAndRunTest(test) != 0) {
num_failed_tests++;
}
}
if (use_drfuzz) {

4
src/lib/DeepState.c
View File

@ -701,7 +701,9 @@ int DeepState_Fuzz(void){
tm.tm_year + 1900, tm.tm_mon + 1, tm.tm_mday, tm.tm_hour, tm.tm_min, tm.tm_sec, i/diff, num_failed_tests);
last_status = diff;
}
num_failed_tests += DeepState_FuzzOneTestCase(test);
if (DeepState_FuzzOneTestCase(test) != 0) {
num_failed_tests ++;
}
current = (long)time(NULL);
diff = current-start;