Modelpublic
AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
rootmull-reportsmull_util_sqlite3PutVarint.out
mull_util_sqlite3PutVarint.out78 linesDownload Raw Back to mull-reports
1[info] Using config /sqlite/mull.yml2[debug] Diagnostics: Debug Mode enabled. Debug-level messages will be printed.3[warning] Could not find dynamic library: libm.so.64[warning] Could not find dynamic library: libc.so.65[info] Warm up run (threads: 1)6
       [################################] 1/1. Finished in 105ms7[info] Extracting coverage information (threads: 1)8
       [################################] 1/1. Finished in 3ms9[info] Filter mutants (threads: 1)10
       [################################] 1/1. Finished in 1ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 109ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/util.c:1190:9 ExecutionResult: Failed15[debug] /sqlite/src/util.c:1192:7 ExecutionResult: Failed16
       [#-------------------------------] 2/4017[debug] /sqlite/src/util.c:1193:15 ExecutionResult: Failed18[debug] /sqlite/src/util.c:1194:22 ExecutionResult: Failed19
       [###-----------------------------] 4/4020[debug] /sqlite/src/util.c:1213:13 ExecutionResult: Failed21
       [####----------------------------] 5/4022[debug] /sqlite/src/util.c:1218:13 ExecutionResult: Failed23[debug] /sqlite/src/util.c:1204:10 ExecutionResult: Failed24[debug] /sqlite/src/util.c:1202:7 ExecutionResult: Failed25[debug] /sqlite/src/util.c:1212:8 ExecutionResult: Failed26[debug] /sqlite/src/util.c:1217:25 ExecutionResult: Failed27[debug] /sqlite/src/util.c:1201:10 ExecutionResult: Failed28
       [########------------------------] 11/4029[debug] /sqlite/src/util.c:1207:10 ExecutionResult: Failed30[debug] /sqlite/src/util.c:1201:24 ExecutionResult: Failed31[debug] /sqlite/src/util.c:1217:15 ExecutionResult: Failed32
       [###########---------------------] 14/4033[debug] /sqlite/src/util.c:1216:8 ExecutionResult: Passed34[debug] /sqlite/src/util.c:1195:9 ExecutionResult: Failed35[debug] /sqlite/src/util.c:1206:20 ExecutionResult: Failed36
       [#############-------------------] 17/4037[debug] /sqlite/src/util.c:1193:21 ExecutionResult: Failed38
       [##############------------------] 18/4039[debug] /sqlite/src/util.c:1191:10 ExecutionResult: Failed40[debug] /sqlite/src/util.c:1206:13 ExecutionResult: Failed41[debug] /sqlite/src/util.c:1194:30 ExecutionResult: Failed42
       [################----------------] 21/4043[debug] /sqlite/src/util.c:1193:15 ExecutionResult: Failed44[debug] /sqlite/src/util.c:1206:26 ExecutionResult: Failed45
       [##################--------------] 23/4046[debug] /sqlite/src/util.c:1216:8 ExecutionResult: Failed47[debug] /sqlite/src/util.c:1221:10 ExecutionResult: Failed48[debug] /sqlite/src/util.c:1201:14 ExecutionResult: Failed49
       [####################------------] 26/4050[debug] /sqlite/src/util.c:1206:8 ExecutionResult: Failed51[debug] /sqlite/src/util.c:1213:10 ExecutionResult: Failed52
       [######################----------] 28/4053[debug] /sqlite/src/util.c:1206:20 ExecutionResult: Failed54[debug] /sqlite/src/util.c:1203:12 ExecutionResult: Failed55[debug] /sqlite/src/util.c:1218:10 ExecutionResult: Failed56[debug] /sqlite/src/util.c:1212:8 ExecutionResult: Failed57[debug] /sqlite/src/util.c:1199:5 ExecutionResult: Failed58
       [##########################------] 33/4059[debug] /sqlite/src/util.c:1201:32 ExecutionResult: Failed60[debug] /sqlite/src/util.c:1217:10 ExecutionResult: Failed61[debug] /sqlite/src/util.c:1217:19 ExecutionResult: Failed62
       [############################----] 36/4063[debug] /sqlite/src/util.c:1193:10 ExecutionResult: Failed64[debug] /sqlite/src/util.c:1194:12 ExecutionResult: Failed65
       [##############################--] 38/4066[debug] /sqlite/src/util.c:1206:15 ExecutionResult: Failed67
       [###############################-] 39/4068[debug] /sqlite/src/util.c:1206:31 ExecutionResult: Failed69
       [################################] 40/40. Finished in 477ms70[debug] Done running mutants71[info] Survived mutants (1/40):72/sqlite/src/util.c:1216:8: warning: Survived: Replaced <= with < [cxx_le_to_lt]73  if( v<=0x3fff ){74       ^75[info] Mutation score: 97%76[info] Total execution time: 801ms77[info] Surviving mutants: 178