sqlite / mull-reports /mull_analyze_statInit.out
AryaWu's picture
Upload folder using huggingface_hub
7510827 verified
[info] Using config /sqlite/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 0ms
[info] Baseline run (threads: 1)
[################################] 1/1. Finished in 110ms
[info] Running mutants (threads: 20)
[debug] /sqlite/src/analyze.c:419:10 ExecutionResult: Passed
[debug] /sqlite/src/analyze.c:376:3 ExecutionResult: Passed
[debug] /sqlite/src/analyze.c:428:22 ExecutionResult: Passed
[debug] /sqlite/src/analyze.c:422:11 ExecutionResult: Passed
[debug] /sqlite/src/analyze.c:428:5 ExecutionResult: Passed
[######--------------------------] 5/23
[debug] /sqlite/src/analyze.c:427:5 ExecutionResult: Passed
[########------------------------] 6/23
[debug] /sqlite/src/analyze.c:445:11 ExecutionResult: Passed
[debug] /sqlite/src/analyze.c:449:17 ExecutionResult: Passed
[debug] /sqlite/src/analyze.c:444:13 ExecutionResult: Passed
[############--------------------] 9/23
[debug] /sqlite/src/analyze.c:489:5 ExecutionResult: Failed
[debug] /sqlite/src/analyze.c:2010:9 ExecutionResult: Failed
[debug] /sqlite/src/analyze.c:447:11 ExecutionResult: Passed
[debug] /sqlite/src/analyze.c:444:11 ExecutionResult: Passed
[debug] /sqlite/src/analyze.c:446:15 ExecutionResult: Passed
[###################-------------] 14/23
[debug] /sqlite/src/analyze.c:1962:20 ExecutionResult: Passed
[debug] /sqlite/src/analyze.c:485:3 ExecutionResult: Failed
[debug] /sqlite/src/analyze.c:446:13 ExecutionResult: Passed
[debug] /sqlite/src/analyze.c:438:8 ExecutionResult: Failed
[#########################-------] 18/23
[debug] /sqlite/src/analyze.c:1951:7 ExecutionResult: Passed
[debug] /sqlite/src/analyze.c:448:14 ExecutionResult: Passed
[###########################-----] 20/23
[debug] /sqlite/src/analyze.c:419:8 ExecutionResult: Passed
[#############################---] 21/23
[debug] /sqlite/src/analyze.c:422:13 ExecutionResult: Passed
[##############################--] 22/23
[debug] /sqlite/src/analyze.c:421:10 ExecutionResult: Passed
[################################] 23/23. Finished in 303ms
[debug] Done running mutants
[info] Survived mutants (19/23):
/sqlite/src/analyze.c:376:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
sqlite3DbFree(p->db, p);
^
/sqlite/src/analyze.c:419:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
nCol = sqlite3_value_int(argv[0]);
^
/sqlite/src/analyze.c:419:10: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]
nCol = sqlite3_value_int(argv[0]);
^
/sqlite/src/analyze.c:421:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
nColUp = sizeof(tRowcnt)<8 ? (nCol+1)&~1 : nCol;
^
/sqlite/src/analyze.c:422:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
nKeyCol = sqlite3_value_int(argv[1]);
^
/sqlite/src/analyze.c:422:13: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]
nKeyCol = sqlite3_value_int(argv[1]);
^
/sqlite/src/analyze.c:427:5: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
n = sizeof(*p)
^
/sqlite/src/analyze.c:428:5: warning: Survived: Replaced + with - [cxx_add_to_sub]
+ sizeof(tRowcnt)*nColUp; /* StatAccum.anDLt */
^
/sqlite/src/analyze.c:428:22: warning: Survived: Replaced * with / [cxx_mul_to_div]
+ sizeof(tRowcnt)*nColUp; /* StatAccum.anDLt */
^
/sqlite/src/analyze.c:444:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
p->nEst = sqlite3_value_int64(argv[2]);
^
/sqlite/src/analyze.c:444:13: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]
p->nEst = sqlite3_value_int64(argv[2]);
^
/sqlite/src/analyze.c:445:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
p->nRow = 0;
^
/sqlite/src/analyze.c:446:13: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
p->nLimit = sqlite3_value_int(argv[3]);
^
/sqlite/src/analyze.c:446:15: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]
p->nLimit = sqlite3_value_int(argv[3]);
^
/sqlite/src/analyze.c:447:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
p->nCol = nCol;
^
/sqlite/src/analyze.c:448:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
p->nKeyCol = nKeyCol;
^
/sqlite/src/analyze.c:449:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
p->nSkipAhead = 0;
^
/sqlite/src/analyze.c:1951:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]
int rc = SQLITE_OK;
^
/sqlite/src/analyze.c:1962:20: warning: Survived: Replaced &= with |= [cxx_and_assign_to_or_assign]
pTab->tabFlags &= ~TF_HasStat1;
^
[info] Mutation score: 17%
[info] Total execution time: 618ms
[info] Surviving mutants: 19