Skip to content

Commit 22c7d93

Browse files
author
Daniel Kroening
committed
progress
1 parent 2de63f7 commit 22c7d93

File tree

1 file changed

+45
-37
lines changed

1 file changed

+45
-37
lines changed

‎doc/symex.regression.log.txt

Lines changed: 45 additions & 37 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
Loading
2-
488 tests found
2+
496 tests found
33

44
Running tests
55
Running ASHR1/test.desc [OK]
@@ -26,7 +26,7 @@ Running tests
2626
Running Bool3/test.desc [OK]
2727
Running Bool4/test.desc [OK]
2828
Running Boolean_Guards1/test.desc [OK]
29-
Running Calloc1/test.desc [FAILED]
29+
Running Calloc1/test.desc [OK]
3030
Running Computed-Goto1/test.desc [OK]
3131
Running Division1/test.desc [OK]
3232
Running Division2/test.desc [OK]
@@ -110,7 +110,7 @@ Running tests
110110
Running Float_lib1/test.desc [OK]
111111
Running Float_lib2/test.desc [OK]
112112
Running Free1/test.desc [OK]
113-
Running Free2/test.desc [FAILED]
113+
Running Free2/test.desc [OK]
114114
Running Free3/test.desc [OK]
115115
Running Free4/test.desc [OK]
116116
Running Function-KnR1/test.desc [OK]
@@ -176,7 +176,7 @@ Running tests
176176
Running Malloc21/test.desc [OK]
177177
Running Malloc22/test.desc [FAILED]
178178
Running Malloc23/test.desc [FAILED]
179-
Running Malloc24/test.desc [FAILED]
179+
Running Malloc24/test.desc [OK]
180180
Running Memmove1/test.desc [FAILED]
181181
Running Memory_leak1/test.desc [OK]
182182
Running Memory_leak2/test.desc [OK]
@@ -228,6 +228,7 @@ Running tests
228228
Running Promotion1/test.desc [OK]
229229
Running Promotion2/test.desc [OK]
230230
Running Promotion3/test.desc [OK]
231+
Running Promotion4/test.desc [OK]
231232
Running Quantifiers-assertion/test.desc [FAILED]
232233
Running Quantifiers-assignment/test.desc [FAILED]
233234
Running Quantifiers-copy/test.desc [FAILED]
@@ -253,7 +254,7 @@ Running tests
253254
Running Sideeffects5/test.desc [OK]
254255
Running Sideeffects6/test.desc [OK]
255256
Running Static2/test.desc [OK]
256-
Running Static4/test.desc [FAILED]
257+
Running Static4/test.desc [OK]
257258
Running Static_Functions1/test.desc [OK]
258259
Running String1/test.desc [OK]
259260
Running String2/test.desc [OK]
@@ -362,6 +363,7 @@ Running tests
362363
Running full_slice2/test.desc [FAILED]
363364
Running function_option1/test.desc [OK]
364365
Running gcc_attribute_alias1/test.desc [OK]
366+
Running gcc_bswap1/test.desc [OK]
365367
Running gcc_c99-bool-1/test.desc [OK]
366368
Running gcc_conditional_expr1/test.desc [OK]
367369
Running gcc_local_label1/test.desc [FAILED]
@@ -386,11 +388,13 @@ Running tests
386388
Running if3/test.desc [OK]
387389
Running if4/test.desc [OK]
388390
Running inequality-with-constant-normalisation/test.desc [OK]
391+
Running inet_endian1/test.desc [OK]
389392
Running inline1/test.desc [OK]
390393
Running int-to-float1/test.desc [OK]
391394
Running int-to-float2/test.desc [OK]
392395
Running little-endian-array1/test.desc [FAILED]
393396
Running locations1/test.desc [OK]
397+
Running memcpy1/test.desc [FAILED]
394398
Running memory_allocation1/test.desc [FAILED]
395399
Running memset1/test.desc [FAILED]
396400
Running memset2/test.desc [OK]
@@ -421,6 +425,7 @@ Running tests
421425
Running simplify-global-array-access/test.desc [OK]
422426
Running simplify-local-array-access/test.desc [OK]
423427
Running simplify-pointer-access/test.desc [OK]
428+
Running strcat1/test.desc [FAILED]
424429
Running strchr1/test.desc [OK]
425430
Running strtol1/test.desc [OK]
426431
Running strtol2/test.desc [OK]
@@ -437,35 +442,38 @@ Running tests
437442
Running switch4/test.desc [OK]
438443
Running switch5/test.desc [OK]
439444
Running switch6/test.desc [OK]
440-
Running typedef-anon-struct1/test.desc [FAILED]
441-
Running typedef-anon-struct2/test.desc [FAILED]
442-
Running typedef-anon-union1/test.desc [FAILED]
443-
Running typedef-anon-union2/test.desc [FAILED]
444-
Running typedef-const-struct1/test.desc [FAILED]
445-
Running typedef-const-type1/test.desc [FAILED]
446-
Running typedef-const-union1/test.desc [FAILED]
447-
Running typedef-param-anon-struct1/test.desc [FAILED]
448-
Running typedef-param-anon-union1/test.desc [FAILED]
449-
Running typedef-param-struct1/test.desc [FAILED]
450-
Running typedef-param-type1/test.desc [FAILED]
451-
Running typedef-param-type2/test.desc [FAILED]
452-
Running typedef-param-type3/test.desc [FAILED]
453-
Running typedef-param-union1/test.desc [FAILED]
454-
Running typedef-return-anon-struct1/test.desc [FAILED]
455-
Running typedef-return-anon-union1/test.desc [FAILED]
456-
Running typedef-return-struct1/test.desc [FAILED]
457-
Running typedef-return-type1/test.desc [FAILED]
458-
Running typedef-return-type2/test.desc [FAILED]
459-
Running typedef-return-type3/test.desc [FAILED]
460-
Running typedef-return-union1/test.desc [FAILED]
461-
Running typedef-struct1/test.desc [FAILED]
462-
Running typedef-struct2/test.desc [FAILED]
463-
Running typedef-type1/test.desc [FAILED]
464-
Running typedef-type2/test.desc [FAILED]
465-
Running typedef-type3/test.desc [FAILED]
466-
Running typedef-type4/test.desc [FAILED]
467-
Running typedef-union1/test.desc [FAILED]
468-
Running typedef-union2/test.desc [FAILED]
445+
Running trace_options_json_extended/extended.desc [FAILED]
446+
Running trace_options_json_extended/non-extended.desc [FAILED]
447+
Running typedef-anon-struct1/test.desc [OK]
448+
Running typedef-anon-struct2/test.desc [OK]
449+
Running typedef-anon-union1/test.desc [OK]
450+
Running typedef-anon-union2/test.desc [OK]
451+
Running typedef-const-struct1/test.desc [OK]
452+
Running typedef-const-type1/test.desc [OK]
453+
Running typedef-const-union1/test.desc [OK]
454+
Running typedef-param-anon-struct1/test.desc [OK]
455+
Running typedef-param-anon-union1/test.desc [OK]
456+
Running typedef-param-struct1/test.desc [OK]
457+
Running typedef-param-type1/test.desc [OK]
458+
Running typedef-param-type2/test.desc [OK]
459+
Running typedef-param-type3/test.desc [OK]
460+
Running typedef-param-union1/test.desc [OK]
461+
Running typedef-return-anon-struct1/test.desc [OK]
462+
Running typedef-return-anon-union1/test.desc [OK]
463+
Running typedef-return-struct1/test.desc [OK]
464+
Running typedef-return-type1/test.desc [OK]
465+
Running typedef-return-type2/test.desc [OK]
466+
Running typedef-return-type3/test.desc [OK]
467+
Running typedef-return-union1/test.desc [OK]
468+
Running typedef-struct1/test.desc [OK]
469+
Running typedef-struct2/test.desc [OK]
470+
Running typedef-type1/test.desc [OK]
471+
Running typedef-type2/test.desc [OK]
472+
Running typedef-type3/test.desc [OK]
473+
Running typedef-type4/test.desc [OK]
474+
Running typedef-union1/test.desc [OK]
475+
Running typedef-union2/test.desc [OK]
476+
Running uncaught_exceptions_analysis1/test.desc [OK]
469477
Running union1/test.desc [SKIPPED]
470478
Running union2/test.desc [OK]
471479
Running union3/test.desc [OK]
@@ -475,10 +483,10 @@ Running tests
475483
Running union7/test.desc [OK]
476484
Running union8/test.desc [OK]
477485
Running union9/test.desc [OK]
478-
Running unsigned1/test.desc [FAILED]
486+
Running unsigned1/test.desc [OK]
479487
Running unsigned___int128/test.desc [OK]
480488
Running unsigned_char1/test.desc [OK]
481-
Running unwind_counters1/test.desc [FAILED]
489+
Running unwind_counters1/test.desc [OK]
482490
Running unwind_counters2/test.desc [FAILED]
483491
Running unwind_counters3/test.desc [FAILED]
484492
Running va_list1/test.desc [OK]
@@ -492,4 +500,4 @@ Running tests
492500
Running while1/test.desc [OK]
493501

494502
Tests failed
495-
95 of 488 tests failed, 23 tests skipped
503+
64 of 496 tests failed, 23 tests skipped

0 commit comments

Comments
 (0)