libxml / mull-reports /mull_HTMLparser_htmlUTF8ToHtml.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 110ms
[info] Extracting coverage information (threads: 1)
[################################] 1/1. Finished in 3ms
[info] Filter mutants (threads: 1)
[################################] 1/1. Finished in 17ms
[info] Baseline run (threads: 1)
[################################] 1/1. Finished in 107ms
[info] Running mutants (threads: 20)
[debug] /libxml2/HTMLparser.c:1911:23 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:1974:15 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1983:8 ExecutionResult: Failed
[#-------------------------------] 3/54
[debug] /libxml2/HTMLparser.c:1984:21 ExecutionResult: Failed
[##------------------------------] 4/54
[debug] /libxml2/HTMLparser.c:1998:9 ExecutionResult: Failed
[##------------------------------] 5/54
[debug] /libxml2/HTMLparser.c:1995:12 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1991:51 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:2020:16 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:2032:12 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:2017:20 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1993:32 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:2010:11 ExecutionResult: Failed
[#######-------------------------] 12/54
[debug] /libxml2/HTMLparser.c:2001:8 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:2017:26 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:2028:9 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1991:15 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:2031:13 ExecutionResult: Failed
[##########----------------------] 17/54
[debug] /libxml2/HTMLparser.c:1960:14 ExecutionResult: Failed
[##########----------------------] 18/54
[debug] /libxml2/HTMLparser.c:1963:12 ExecutionResult: Failed
[###########---------------------] 19/54
[debug] /libxml2/HTMLparser.c:1929:11 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:1974:15 ExecutionResult: Failed
[############--------------------] 21/54
[debug] /libxml2/HTMLparser.c:1998:27 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1983:8 ExecutionResult: Passed
[#############-------------------] 23/54
[debug] /libxml2/HTMLparser.c:1986:20 ExecutionResult: Failed
[##############------------------] 24/54
[debug] /libxml2/HTMLparser.c:1995:17 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1998:16 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:2032:17 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:2023:16 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1992:20 ExecutionResult: Failed
[#################---------------] 29/54
[debug] /libxml2/HTMLparser.c:1991:32 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:2016:13 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:2017:26 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1993:36 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:2017:32 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:2001:13 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:2028:15 ExecutionResult: Failed
[#####################-----------] 36/54
[debug] /libxml2/HTMLparser.c:2031:19 ExecutionResult: Failed
[#####################-----------] 37/54
[debug] /libxml2/HTMLparser.c:1960:34 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1981:4 ExecutionResult: Failed
[#######################---------] 39/54
[debug] /libxml2/HTMLparser.c:1984:21 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1967:10 ExecutionResult: Failed
[########################--------] 41/54
[debug] /libxml2/HTMLparser.c:1992:20 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:2016:15 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1991:36 ExecutionResult: Failed
[##########################------] 44/54
[debug] /libxml2/HTMLparser.c:1999:8 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1998:16 ExecutionResult: Failed
[###########################-----] 46/54
[debug] /libxml2/HTMLparser.c:1958:9 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1995:17 ExecutionResult: Failed
[############################----] 48/54
[debug] /libxml2/HTMLparser.c:1991:15 ExecutionResult: Failed
[#############################---] 49/54
[debug] /libxml2/HTMLparser.c:1993:51 ExecutionResult: Failed
[#############################---] 50/54
[debug] /libxml2/HTMLparser.c:1968:9 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1960:53 ExecutionResult: Failed
[##############################--] 52/54
[debug] /libxml2/HTMLparser.c:2000:8 ExecutionResult: Failed
[###############################-] 53/54
[debug] /libxml2/HTMLparser.c:2009:17 ExecutionResult: Failed
[################################] 54/54. Finished in 624ms
[debug] Done running mutants
[info] Survived mutants (4/54):
/libxml2/HTMLparser.c:1911:23: warning: Survived: Replaced - with + [cxx_sub_to_add]
return((int) *key - (int) desc->value);
^
/libxml2/HTMLparser.c:1929:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
nmemb = sizeof(html40EntitiesTable) / sizeof(html40EntitiesTable[0]);
^
/libxml2/HTMLparser.c:1983:8: warning: Survived: Replaced < with <= [cxx_lt_to_le]
if (d < 0x80) {
^
/libxml2/HTMLparser.c:1991:15: warning: Survived: Replaced < with <= [cxx_lt_to_le]
if (d < 0xE0) { c = d & 0x1F; seqlen = 2; }
^
[info] Mutation score: 92%
[info] Total execution time: 914ms
[info] Surviving mutants: 4