mull-reports/mull_HTMLparser_htmlCheckImplied.out

[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 15ms
[info] Baseline run (threads: 1)

       [################################] 1/1. Finished in 106ms
[info] Running mutants (threads: 20)
[debug] /libxml2/HTMLparser.c:157:43 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1492:9 ExecutionResult: Failed

       [--------------------------------] 2/107
[debug] /libxml2/HTMLparser.c:155:21 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:1504:4 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1499:10 ExecutionResult: Failed

       [#-------------------------------] 5/107
[debug] /libxml2/HTMLparser.c:1516:9 ExecutionResult: Failed

       [#-------------------------------] 6/107
[debug] /libxml2/HTMLparser.c:4639:49 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1527:10 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1542:5 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4568:16 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4577:5 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:5523:19 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4520:19 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4561:23 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:4541:22 ExecutionResult: Passed

       [####----------------------------] 15/107
[debug] /libxml2/HTMLparser.c:5529:33 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:4549:19 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:5555:20 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:1522:24 ExecutionResult: Passed

       [#####---------------------------] 19/107
[debug] /libxml2/HTMLparser.c:5241:39 ExecutionResult: Failed

       [#####---------------------------] 20/107
[debug] /libxml2/HTMLparser.c:1494:22 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1499:51 ExecutionResult: Failed

       [######--------------------------] 22/107
[debug] /libxml2/HTMLparser.c:155:21 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:158:20 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:1505:4 ExecutionResult: Failed

       [#######-------------------------] 25/107
[debug] /libxml2/HTMLparser.c:1517:24 ExecutionResult: Failed

       [#######-------------------------] 26/107
[debug] /libxml2/HTMLparser.c:1530:10 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4639:49 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4508:12 ExecutionResult: Passed

       [########------------------------] 29/107
[debug] /libxml2/HTMLparser.c:4569:23 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:5523:36 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:4590:5 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:4562:23 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:5534:20 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:4522:13 ExecutionResult: Failed

       [##########----------------------] 35/107
[debug] /libxml2/HTMLparser.c:4553:50 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:5555:22 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:4542:19 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:1522:24 ExecutionResult: Failed

       [###########---------------------] 39/107
[debug] /libxml2/HTMLparser.c:1494:22 ExecutionResult: Failed

       [###########---------------------] 40/107
[debug] /libxml2/HTMLparser.c:1501:23 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:155:43 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:159:22 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:1506:4 ExecutionResult: Failed

       [#############-------------------] 44/107
[debug] /libxml2/HTMLparser.c:1517:61 ExecutionResult: Failed

       [#############-------------------] 45/107
[debug] /libxml2/HTMLparser.c:4511:14 ExecutionResult: Failed

       [#############-------------------] 46/107
[debug] /libxml2/HTMLparser.c:1535:2 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:5231:14 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4573:23 ExecutionResult: Passed

       [##############------------------] 49/107
[debug] /libxml2/HTMLparser.c:5523:48 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4633:5 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:4554:23 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4565:22 ExecutionResult: Passed

       [###############-----------------] 53/107
[debug] /libxml2/HTMLparser.c:5555:31 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:4534:24 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:5539:17 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:4545:50 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:1526:9 ExecutionResult: Failed

       [#################---------------] 58/107
[debug] /libxml2/HTMLparser.c:5241:39 ExecutionResult: Failed

       [#################---------------] 59/107
[debug] /libxml2/HTMLparser.c:1495:2 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:1501:23 ExecutionResult: Failed

       [##################--------------] 61/107
[debug] /libxml2/HTMLparser.c:156:20 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:159:22 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:1507:4 ExecutionResult: Failed

       [###################-------------] 64/107
[debug] /libxml2/HTMLparser.c:1519:18 ExecutionResult: Failed

       [###################-------------] 65/107
[debug] /libxml2/HTMLparser.c:4515:20 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1536:17 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:5236:15 ExecutionResult: Failed

       [####################------------] 68/107
[debug] /libxml2/HTMLparser.c:4574:20 ExecutionResult: Passed

       [####################------------] 69/107
[debug] /libxml2/HTMLparser.c:5523:59 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:4636:14 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4566:27 ExecutionResult: Passed

       [#####################-----------] 72/107
[debug] /libxml2/HTMLparser.c:5605:14 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:4546:23 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:5542:17 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:1526:15 ExecutionResult: Failed

       [######################----------] 76/107
[debug] /libxml2/HTMLparser.c:5247:18 ExecutionResult: Passed

       [#######################---------] 77/107
[debug] /libxml2/HTMLparser.c:4556:18 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1496:17 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1502:11 ExecutionResult: Failed

       [#######################---------] 80/107
[debug] /libxml2/HTMLparser.c:157:21 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:1508:24 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:4536:19 ExecutionResult: Failed

       [########################--------] 83/107
[debug] /libxml2/HTMLparser.c:1520:11 ExecutionResult: Failed

       [#########################-------] 84/107
[debug] /libxml2/HTMLparser.c:4518:19 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1536:54 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:5241:9 ExecutionResult: Passed

       [##########################------] 87/107
[debug] /libxml2/HTMLparser.c:4639:9 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4575:22 ExecutionResult: Passed

       [##########################------] 89/107
[debug] /libxml2/HTMLparser.c:4567:22 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:5529:22 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:1526:15 ExecutionResult: Passed

       [###########################-----] 92/107
[debug] /libxml2/HTMLparser.c:5550:21 ExecutionResult: Passed
[debug] /libxml2/HTMLparser.c:5614:12 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:4548:18 ExecutionResult: Passed

       [############################----] 95/107
[debug] /libxml2/HTMLparser.c:5506:14 ExecutionResult: Failed

       [############################----] 96/107
[debug] /libxml2/HTMLparser.c:179:25 ExecutionResult: Failed

       [#############################---] 97/107
[debug] /libxml2/HTMLparser.c:1503:4 ExecutionResult: Failed

       [#############################---] 98/107
[debug] /libxml2/HTMLparser.c:1508:24 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:157:21 ExecutionResult: Passed

       [#############################---] 100/107
[debug] /libxml2/HTMLparser.c:1521:11 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1496:54 ExecutionResult: Failed

       [##############################--] 102/107
[debug] /libxml2/HTMLparser.c:4557:19 ExecutionResult: Passed

       [##############################--] 103/107
[debug] /libxml2/HTMLparser.c:4537:20 ExecutionResult: Passed

       [###############################-] 104/107
[debug] /libxml2/HTMLparser.c:5509:13 ExecutionResult: Failed
[debug] /libxml2/HTMLparser.c:1488:23 ExecutionResult: Failed

       [###############################-] 106/107
[debug] /libxml2/HTMLparser.c:1526:31 ExecutionResult: Failed

       [################################] 107/107. Finished in 1083ms
[debug] Done running mutants
[info] Survived mutants (47/107):
/libxml2/HTMLparser.c:155:21: warning: Survived: Replaced < with >= [cxx_lt_to_ge]
    if ((ctxt->html < INSERT_IN_HEAD) && (xmlStrEqual(value, BAD_CAST "head")))
                    ^
/libxml2/HTMLparser.c:155:21: warning: Survived: Replaced < with <= [cxx_lt_to_le]
    if ((ctxt->html < INSERT_IN_HEAD) && (xmlStrEqual(value, BAD_CAST "head")))
                    ^
/libxml2/HTMLparser.c:156:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
        ctxt->html = INSERT_IN_HEAD;
                   ^
/libxml2/HTMLparser.c:157:21: warning: Survived: Replaced < with >= [cxx_lt_to_ge]
    if ((ctxt->html < INSERT_IN_BODY) && (xmlStrEqual(value, BAD_CAST "body")))
                    ^
/libxml2/HTMLparser.c:157:21: warning: Survived: Replaced < with <= [cxx_lt_to_le]
    if ((ctxt->html < INSERT_IN_BODY) && (xmlStrEqual(value, BAD_CAST "body")))
                    ^
/libxml2/HTMLparser.c:158:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
        ctxt->html = INSERT_IN_BODY;
                   ^
/libxml2/HTMLparser.c:159:22: warning: Survived: Replaced >= with > [cxx_ge_to_gt]
    if (ctxt->nameNr >= ctxt->nameMax) {
                     ^
/libxml2/HTMLparser.c:159:22: warning: Survived: Replaced >= with < [cxx_ge_to_lt]
    if (ctxt->nameNr >= ctxt->nameMax) {
                     ^
/libxml2/HTMLparser.c:1495:2: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]
	htmlnamePush(ctxt, BAD_CAST"html");
	^
/libxml2/HTMLparser.c:1508:24: warning: Survived: Replaced >= with > [cxx_ge_to_gt]
        if (ctxt->html >= INSERT_IN_HEAD) {
                       ^
/libxml2/HTMLparser.c:1522:24: warning: Survived: Replaced >= with > [cxx_ge_to_gt]
        if (ctxt->html >= INSERT_IN_BODY) {
                       ^
/libxml2/HTMLparser.c:1526:15: warning: Survived: Replaced < with <= [cxx_lt_to_le]
	for (i = 0;i < ctxt->nameNr;i++) {
	             ^
/libxml2/HTMLparser.c:4508:12: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]
    size_t initialNodeTabSize = 10;
           ^
/libxml2/HTMLparser.c:4537:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    ctxt->inputMax = 1;
                   ^
/libxml2/HTMLparser.c:4541:22: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    ctxt->standalone = -1;
                     ^
/libxml2/HTMLparser.c:4542:19: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    ctxt->instate = XML_PARSER_START;
                  ^
/libxml2/HTMLparser.c:4545:50: warning: Survived: Replaced * with / [cxx_mul_to_div]
    ctxt->nodeTab = xmlMalloc(initialNodeTabSize * sizeof(htmlNodePtr));
                                                 ^
/libxml2/HTMLparser.c:4548:18: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    ctxt->nodeNr = 0;
                 ^
/libxml2/HTMLparser.c:4549:19: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    ctxt->nodeMax = initialNodeTabSize;
                  ^
/libxml2/HTMLparser.c:4553:50: warning: Survived: Replaced * with / [cxx_mul_to_div]
    ctxt->nameTab = xmlMalloc(initialNodeTabSize * sizeof(xmlChar *));
                                                 ^
/libxml2/HTMLparser.c:4557:19: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    ctxt->nameMax = initialNodeTabSize;
                  ^
/libxml2/HTMLparser.c:4561:23: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    ctxt->nodeInfoNr  = 0;
                      ^
/libxml2/HTMLparser.c:4562:23: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    ctxt->nodeInfoMax = 0;
                      ^
/libxml2/HTMLparser.c:4565:22: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    ctxt->wellFormed = 1;
                     ^
/libxml2/HTMLparser.c:4566:27: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    ctxt->replaceEntities = 0;
                          ^
/libxml2/HTMLparser.c:4567:22: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    ctxt->keepBlanks = xmlKeepBlanksDefaultValue;
                     ^
/libxml2/HTMLparser.c:4569:23: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    ctxt->vctxt.flags = XML_VCTXT_USE_PCTXT;
                      ^
/libxml2/HTMLparser.c:4573:23: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    ctxt->record_info = 0;
                      ^
/libxml2/HTMLparser.c:4574:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    ctxt->validate = 0;
                   ^
/libxml2/HTMLparser.c:4575:22: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    ctxt->checkIndex = 0;
                     ^
/libxml2/HTMLparser.c:4577:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]
    xmlInitNodeInfoSeq(&ctxt->node_seq);
    ^
/libxml2/HTMLparser.c:4590:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]
    xmlFreeParserCtxt(ctxt);
    ^
/libxml2/HTMLparser.c:4633:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]
    xmlInitParser();
    ^
/libxml2/HTMLparser.c:5241:9: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]
    if (xmlCtxtPushInput(ctxt, input) < 0) {
        ^
/libxml2/HTMLparser.c:5247:18: warning: Survived: Replaced != with == [cxx_ne_to_eq]
    if (encoding != NULL)
                 ^
/libxml2/HTMLparser.c:5523:36: warning: Survived: Replaced & with | [cxx_and_to_or]
    ctxt->options = (ctxt->options & keepMask) | (options & allMask);
                                   ^
/libxml2/HTMLparser.c:5523:59: warning: Survived: Replaced & with | [cxx_and_to_or]
    ctxt->options = (ctxt->options & keepMask) | (options & allMask);
                                                          ^
/libxml2/HTMLparser.c:5529:22: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    ctxt->keepBlanks = (options & HTML_PARSE_NOBLANKS) ? 0 : 1;
                     ^
/libxml2/HTMLparser.c:5529:33: warning: Survived: Replaced & with | [cxx_and_to_or]
    ctxt->keepBlanks = (options & HTML_PARSE_NOBLANKS) ? 0 : 1;
                                ^
/libxml2/HTMLparser.c:5534:20: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    ctxt->recovery = 1;
                   ^
/libxml2/HTMLparser.c:5539:17: warning: Survived: Replaced & with | [cxx_and_to_or]
    if (options & HTML_PARSE_NOBLANKS) {
                ^
/libxml2/HTMLparser.c:5542:17: warning: Survived: Replaced & with | [cxx_and_to_or]
    if (options & HTML_PARSE_HUGE) {
                ^
/libxml2/HTMLparser.c:5550:21: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    ctxt->dictNames = 0;
                    ^
/libxml2/HTMLparser.c:5555:20: warning: Survived: Replaced & with | [cxx_and_to_or]
    return(options & ~allMask & ~XML_PARSE_NOENT);
                   ^
/libxml2/HTMLparser.c:5555:22: warning: Survived: Replaced ~x with x [cxx_bitwise_not_to_noop]
    return(options & ~allMask & ~XML_PARSE_NOENT);
                     ^
/libxml2/HTMLparser.c:5555:31: warning: Survived: Replaced & with | [cxx_and_to_or]
    return(options & ~allMask & ~XML_PARSE_NOENT);
                              ^
/libxml2/HTMLparser.c:5605:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
    keepMask = HTML_PARSE_NODEFDTD |
             ^
[info] Mutation score: 56%
[info] Total execution time: 1367ms
[info] Surviving mutants: 47