| [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 |
|
|
