sqlite / mull-reports /mull_alter_failConstraintFunc.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 1ms
[info] Baseline run (threads: 1)
[################################] 1/1. Finished in 109ms
[info] Running mutants (threads: 6)
[debug] /sqlite/src/alter.c:2831:7 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:2833:3 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:2831:13 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:3058:3 ExecutionResult: Passed
[#####################-----------] 4/6
[debug] /sqlite/src/alter.c:2838:5 ExecutionResult: Failed
[##########################------] 5/6
[debug] /sqlite/src/alter.c:2834:3 ExecutionResult: Failed
[################################] 6/6. Finished in 134ms
[debug] Done running mutants
[info] Survived mutants (1/6):
/sqlite/src/alter.c:3058:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
sqlite3InsertBuiltinFuncs(aAlterTableFuncs, ArraySize(aAlterTableFuncs));
^
[info] Mutation score: 83%
[info] Total execution time: 449ms
[info] Surviving mutants: 1