libxml / mull-reports /mull_HTMLparser_htmlParseLookupString.out
AryaWu's picture
Upload folder using huggingface_hub
6baed57 verified
[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