File size: 3,208 Bytes
78d2150 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 |
[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
|