File size: 3,645 Bytes
6baed57
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
[info] Using config /libxml2/mull.yml
[debug] Diagnostics: Debug Mode enabled. Debug-level messages will be printed.
[warning] Could not find dynamic library: libm.so.6
[warning] Could not find dynamic library: libc.so.6
[info] Warm up run (threads: 1)

       [################################] 1/1. Finished in 108ms
[info] Extracting coverage information (threads: 1)

       [################################] 1/1. Finished in 3ms
[info] Filter mutants (threads: 1)

       [################################] 1/1. Finished in 16ms
[info] Baseline run (threads: 1)

       [################################] 1/1. Finished in 107ms
[info] Running mutants (threads: 20)
[debug] /libxml2/HTMLparser.c:4865:45 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4857:26 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4865:37 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4868:37 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:4866:26 ExecutionResult: Failed

       [######--------------------------] 5/26
[debug] /libxml2/HTMLparser.c:4895:12 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4877:12 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4881:13 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4878:30 ExecutionResult: Passed

       [###########---------------------] 9/26
[debug] /libxml2/HTMLparser.c:4878:23 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:4878:30 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4882:11 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4877:21 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4882:17 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4883:15 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:4887:26 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4888:13 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4877:32 ExecutionResult: Failed

       [######################----------] 18/26
[debug] /libxml2/HTMLparser.c:4871:17 ExecutionResult: Failed

       [#######################---------] 19/26
[debug] /libxml2/HTMLparser.c:4883:15 ExecutionResult: Failed

       [########################--------] 20/26
[debug] /libxml2/HTMLparser.c:4864:15 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4868:37 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4865:45 ExecutionResult: Passed

       [############################----] 23/26
[debug] /libxml2/HTMLparser.c:4865:57 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4868:18 ExecutionResult: Failed

       [##############################--] 25/26
[debug] /libxml2/HTMLparser.c:4871:24 ExecutionResult: Failed

       [################################] 26/26. Finished in 348ms
[debug] Done running mutants
[info] Survived mutants (5/26):
/libxml2/HTMLparser.c:4865:45: warning: Survived: Replaced >= with > [cxx_ge_to_gt]
        ((size_t) (ctxt->input->end - term) >= extraLen + 1)) {
                                            ^
/libxml2/HTMLparser.c:4868:37: warning: Survived: Replaced > with >= [cxx_gt_to_ge]
        if (term - ctxt->input->cur > INT_MAX / 2)
                                    ^
/libxml2/HTMLparser.c:4878:23: warning: Survived: Replaced - with + [cxx_sub_to_add]
    if ((size_t) (end - cur) <= rescan)
                      ^
/libxml2/HTMLparser.c:4878:30: warning: Survived: Replaced <= with < [cxx_le_to_lt]
    if ((size_t) (end - cur) <= rescan)
                             ^
/libxml2/HTMLparser.c:4883:15: warning: Survived: Replaced > with >= [cxx_gt_to_ge]
    if (index > INT_MAX / 2) {
              ^
[info] Mutation score: 80%
[info] Total execution time: 636ms
[info] Surviving mutants: 5