[info] Using config /coreutils/mull.yml [debug] Diagnostics: Debug Mode enabled. Debug-level messages will be printed. [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 1ms [info] Filter mutants (threads: 1) [################################] 1/1. Finished in 0ms [info] Baseline run (threads: 1) [################################] 1/1. Finished in 108ms [info] Running mutants (threads: 13) [debug] /coreutils/src/csplit.c:890:31 ExecutionResult: Passed [debug] /coreutils/src/csplit.c:941:12 ExecutionResult: Passed [####----------------------------] 2/13 [debug] /coreutils/src/csplit.c:234:3 ExecutionResult: Failed [debug] /coreutils/src/csplit.c:239:3 ExecutionResult: Passed [#########-----------------------] 4/13 [debug] /coreutils/src/csplit.c:892:5 ExecutionResult: Passed [debug] /coreutils/src/csplit.c:944:25 ExecutionResult: Passed [debug] /coreutils/src/csplit.c:890:5 ExecutionResult: Passed [#################---------------] 7/13 [debug] /coreutils/src/csplit.c:892:31 ExecutionResult: Passed [###################-------------] 8/13 [debug] /coreutils/src/csplit.c:948:17 ExecutionResult: Failed [debug] /coreutils/src/csplit.c:941:33 ExecutionResult: Failed [debug] /coreutils/src/csplit.c:944:11 ExecutionResult: Failed [###########################-----] 11/13 [debug] /coreutils/src/csplit.c:941:36 ExecutionResult: Timedout [#############################---] 12/13 [debug] /coreutils/src/csplit.c:941:33 ExecutionResult: Timedout [################################] 13/13. Finished in 2346ms [debug] Done running mutants [info] Survived mutants (7/13): /coreutils/src/csplit.c:239:3: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call] raise (sig); ^ /coreutils/src/csplit.c:890:5: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call] sprintf (filename_space + strlen (prefix), suffix, num); ^ /coreutils/src/csplit.c:890:31: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call] sprintf (filename_space + strlen (prefix), suffix, num); ^ /coreutils/src/csplit.c:892:5: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call] sprintf (filename_space + strlen (prefix), "%0*d", digits, num); ^ /coreutils/src/csplit.c:892:31: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call] sprintf (filename_space + strlen (prefix), "%0*d", digits, num); ^ /coreutils/src/csplit.c:941:12: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const] for (int i = files_created; 0 <= --i; ) ^ /coreutils/src/csplit.c:944:25: warning: Survived: Replaced != with == [cxx_ne_to_eq] if (unlink (name) != 0 && errno != ENOENT && !in_signal_handler) ^ [info] Mutation score: 46% [info] Total execution time: 2565ms [info] Surviving mutants: 7