libxml / mull-reports /mull_HTMLtree_htmlIsBooleanAttr.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 111ms
[info] Extracting coverage information (threads: 1)
[################################] 1/1. Finished in 3ms
[info] Filter mutants (threads: 1)
[################################] 1/1. Finished in 0ms
[info] Baseline run (threads: 1)
[################################] 1/1. Finished in 102ms
[info] Running mutants (threads: 5)
[debug] /libxml2/HTMLtree.c:435:13 ExecutionResult: Failed
[debug] /libxml2/HTMLtree.c:388:21 ExecutionResult: Failed
[debug] /libxml2/HTMLtree.c:438:12 ExecutionResult: Failed
[debug] /libxml2/HTMLtree.c:438:50 ExecutionResult: Failed
[#########################-------] 4/5
[debug] /libxml2/HTMLtree.c:365:14 ExecutionResult: Failed
[################################] 5/5. Finished in 195ms
[debug] Done running mutants
[info] All mutations have been killed
[info] Mutation score: 100%
[info] Total execution time: 445ms