CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_resolve_notValidImpl.out32 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 108ms7[info] Extracting coverage information (threads: 1)8
       [################################] 1/1. Finished in 4ms9[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: 7)14[debug] /sqlite/src/resolve.c:917:25 ExecutionResult: Failed15[debug] /sqlite/src/resolve.c:915:20 ExecutionResult: Failed16[debug] /sqlite/src/resolve.c:922:3 ExecutionResult: Failed17[debug] /sqlite/src/resolve.c:920:25 ExecutionResult: Failed18
       [##################--------------] 4/719[debug] /sqlite/src/resolve.c:923:25 ExecutionResult: Failed20
       [######################----------] 5/721[debug] /sqlite/src/resolve.c:924:3 ExecutionResult: Passed22[debug] /sqlite/src/resolve.c:928:5 ExecutionResult: Failed23
       [################################] 7/7. Finished in 139ms24[debug] Done running mutants25[info] Survived mutants (1/7):26/sqlite/src/resolve.c:924:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]27  sqlite3RecordErrorOffsetOfExpr(pParse->db, pError);28  ^29[info] Mutation score: 85%30[info] Total execution time: 473ms31[info] Surviving mutants: 132