| [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 | |