Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / bench / distrib / misc / ex8 / summaries / ex8.summary @ 53aa0cb0

History | View | Annotate | Download (5.45 KB)

1
Summary for file ex8.lus
2
# tests: 9 ./tests/ex8.test_suite
3
45 mutant(s) unkilled
4

    
5
mutants/ex8/ex8.mutant.n10_top_mutant unkilled
6
mutants/ex8/ex8.mutant.n11_top_mutant unkilled
7
mutants/ex8/ex8.mutant.n12_top_mutant unkilled
8
mutants/ex8/ex8.mutant.n13_top_mutant unkilled
9
mutants/ex8/ex8.mutant.n14_top_mutant unkilled
10
mutants/ex8/ex8.mutant.n15_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
11
mutants/ex8/ex8.mutant.n16_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
12
mutants/ex8/ex8.mutant.n17_top_mutant unkilled
13
mutants/ex8/ex8.mutant.n18_top_mutant unkilled
14
mutants/ex8/ex8.mutant.n19_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
15
mutants/ex8/ex8.mutant.n1_top_mutant unkilled
16
mutants/ex8/ex8.mutant.n20_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
17
mutants/ex8/ex8.mutant.n21_top_mutant unkilled
18
mutants/ex8/ex8.mutant.n22_top_mutant unkilled
19
mutants/ex8/ex8.mutant.n23_top_mutant unkilled
20
mutants/ex8/ex8.mutant.n24_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
21
mutants/ex8/ex8.mutant.n25_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
22
mutants/ex8/ex8.mutant.n26_top_mutant unkilled
23
mutants/ex8/ex8.mutant.n27_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
24
mutants/ex8/ex8.mutant.n28_top_mutant unkilled
25
mutants/ex8/ex8.mutant.n29_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
26
mutants/ex8/ex8.mutant.n2_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
27
mutants/ex8/ex8.mutant.n30_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
28
mutants/ex8/ex8.mutant.n31_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
29
mutants/ex8/ex8.mutant.n32_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
30
mutants/ex8/ex8.mutant.n33_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
31
mutants/ex8/ex8.mutant.n34_top_mutant unkilled
32
mutants/ex8/ex8.mutant.n35_top_mutant unkilled
33
mutants/ex8/ex8.mutant.n36_top_mutant unkilled
34
mutants/ex8/ex8.mutant.n37_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
35
mutants/ex8/ex8.mutant.n38_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
36
mutants/ex8/ex8.mutant.n39_top_mutant unkilled
37
mutants/ex8/ex8.mutant.n3_top_mutant unkilled
38
mutants/ex8/ex8.mutant.n40_top_mutant unkilled
39
mutants/ex8/ex8.mutant.n41_top_mutant unkilled
40
mutants/ex8/ex8.mutant.n42_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
41
mutants/ex8/ex8.mutant.n43_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
42
mutants/ex8/ex8.mutant.n44_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
43
mutants/ex8/ex8.mutant.n45_top_mutant unkilled
44
mutants/ex8/ex8.mutant.n46_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
45
mutants/ex8/ex8.mutant.n47_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
46
mutants/ex8/ex8.mutant.n48_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
47
mutants/ex8/ex8.mutant.n49_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
48
mutants/ex8/ex8.mutant.n4_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
49
mutants/ex8/ex8.mutant.n50_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
50
mutants/ex8/ex8.mutant.n51_top_mutant unkilled
51
mutants/ex8/ex8.mutant.n52_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
52
mutants/ex8/ex8.mutant.n53_top_mutant unkilled
53
mutants/ex8/ex8.mutant.n54_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
54
mutants/ex8/ex8.mutant.n55_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
55
mutants/ex8/ex8.mutant.n56_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
56
mutants/ex8/ex8.mutant.n57_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
57
mutants/ex8/ex8.mutant.n58_top_mutant unkilled
58
mutants/ex8/ex8.mutant.n59_top_mutant unkilled
59
mutants/ex8/ex8.mutant.n5_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
60
mutants/ex8/ex8.mutant.n60_top_mutant unkilled
61
mutants/ex8/ex8.mutant.n61_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
62
mutants/ex8/ex8.mutant.n62_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
63
mutants/ex8/ex8.mutant.n63_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
64
mutants/ex8/ex8.mutant.n64_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
65
mutants/ex8/ex8.mutant.n65_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
66
mutants/ex8/ex8.mutant.n66_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
67
mutants/ex8/ex8.mutant.n67_top_mutant unkilled
68
mutants/ex8/ex8.mutant.n68_top_mutant unkilled
69
mutants/ex8/ex8.mutant.n69_top_mutant unkilled
70
mutants/ex8/ex8.mutant.n6_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
71
mutants/ex8/ex8.mutant.n70_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
72
mutants/ex8/ex8.mutant.n71_top_mutant unkilled
73
mutants/ex8/ex8.mutant.n72_top_mutant unkilled
74
mutants/ex8/ex8.mutant.n73_top_mutant unkilled
75
mutants/ex8/ex8.mutant.n74_top_mutant unkilled
76
mutants/ex8/ex8.mutant.n75_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
77
mutants/ex8/ex8.mutant.n76_top_mutant unkilled
78
mutants/ex8/ex8.mutant.n77_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
79
mutants/ex8/ex8.mutant.n78_top_mutant unkilled
80
mutants/ex8/ex8.mutant.n79_top_mutant unkilled
81
mutants/ex8/ex8.mutant.n7_top_mutant unkilled
82
mutants/ex8/ex8.mutant.n80_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
83
mutants/ex8/ex8.mutant.n81_top_mutant unkilled
84
mutants/ex8/ex8.mutant.n82_top_mutant unkilled
85
mutants/ex8/ex8.mutant.n83_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
86
mutants/ex8/ex8.mutant.n84_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
87
mutants/ex8/ex8.mutant.n85_top_mutant killed by test 0 1 0 1 0 1 0 1 0 1 0 0
88
mutants/ex8/ex8.mutant.n86_top_mutant unkilled
89
mutants/ex8/ex8.mutant.n87_top_mutant unkilled
90
mutants/ex8/ex8.mutant.n88_top_mutant unkilled
91
mutants/ex8/ex8.mutant.n89_top_mutant unkilled
92
mutants/ex8/ex8.mutant.n8_top_mutant unkilled
93
mutants/ex8/ex8.mutant.n9_top_mutant unkilled