| [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 105ms | |
| [info] Extracting coverage information (threads: 1) | |
| [################################] 1/1. Finished in 0ms | |
| [info] Filter mutants (threads: 1) | |
| [################################] 1/1. Finished in 0ms | |
| [info] Baseline run (threads: 1) | |
| [################################] 1/1. Finished in 107ms | |
| [info] Running mutants (threads: 12) | |
| [debug] /coreutils/src/csplit.c:941:33 ExecutionResult: Failed | |
| [debug] /coreutils/src/csplit.c:941:12 ExecutionResult: Passed | |
| [#####---------------------------] 2/12 | |
| [debug] /coreutils/src/csplit.c:890:31 ExecutionResult: Passed | |
| [debug] /coreutils/src/csplit.c:890:5 ExecutionResult: Passed | |
| [##########----------------------] 4/12 | |
| [debug] /coreutils/src/csplit.c:892:31 ExecutionResult: Failed | |
| [debug] /coreutils/src/csplit.c:892:5 ExecutionResult: Failed | |
| [################----------------] 6/12 | |
| [debug] /coreutils/src/csplit.c:948:17 ExecutionResult: Failed | |
| [debug] /coreutils/src/csplit.c:944:11 ExecutionResult: Failed | |
| [#####################-----------] 8/12 | |
| [debug] /coreutils/src/csplit.c:944:39 ExecutionResult: Passed | |
| [debug] /coreutils/src/csplit.c:944:25 ExecutionResult: Passed | |
| [debug] /coreutils/src/csplit.c:941:33 ExecutionResult: Failed | |
| [#############################---] 11/12 | |
| [debug] /coreutils/src/csplit.c:941:36 ExecutionResult: Timedout | |
| [################################] 12/12. Finished in 2310ms | |
| [debug] Done running mutants | |
| [info] Survived mutants (5/12): | |
| /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: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) | |
| ^ | |
| /coreutils/src/csplit.c:944:39: warning: Survived: Replaced != with == [cxx_ne_to_eq] | |
| if (unlink (name) != 0 && errno != ENOENT && !in_signal_handler) | |
| ^ | |
| [info] Mutation score: 58% | |
| [info] Total execution time: 2524ms | |
| [info] Surviving mutants: 5 | |