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