File size: 147,964 Bytes
4951e76 | 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 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 | {"item_id": "mut-avg_floor-000", "kind": "mutant", "function": "avg_floor", "operator": "op", "orig_token": "&", "new_token": "|", "token_index": 5, "original_source": "pub fn avg_floor(a: u32, b: u32) -> u32 {\n (a & b) + ((a ^ b) >> 1)\n}", "mutant_source": "pub fn avg_floor(a: u32, b: u32) -> u32 {\n (a | b) + ((a ^ b) >> 1)\n}", "spec_doc": "floor((a+b)/2) without overflow", "status": "kept_nonequivalent", "witness": "DIFF [(1, 0)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-avg_floor-001", "kind": "mutant", "function": "avg_floor", "operator": "op", "orig_token": "+", "new_token": "-", "token_index": 10, "original_source": "pub fn avg_floor(a: u32, b: u32) -> u32 {\n (a & b) + ((a ^ b) >> 1)\n}", "mutant_source": "pub fn avg_floor(a: u32, b: u32) -> u32 {\n (a & b) - ((a ^ b) >> 1)\n}", "spec_doc": "floor((a+b)/2) without overflow", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295, 0)] orig=2147483647 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-avg_floor-002", "kind": "mutant", "function": "avg_floor", "operator": "op", "orig_token": "^", "new_token": "|", "token_index": 16, "original_source": "pub fn avg_floor(a: u32, b: u32) -> u32 {\n (a & b) + ((a ^ b) >> 1)\n}", "mutant_source": "pub fn avg_floor(a: u32, b: u32) -> u32 {\n (a & b) + ((a | b) >> 1)\n}", "spec_doc": "floor((a+b)/2) without overflow", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295, 4294967295)] orig=4294967295 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-avg_floor-003", "kind": "mutant", "function": "avg_floor", "operator": "op", "orig_token": ">>", "new_token": "<<", "token_index": 21, "original_source": "pub fn avg_floor(a: u32, b: u32) -> u32 {\n (a & b) + ((a ^ b) >> 1)\n}", "mutant_source": "pub fn avg_floor(a: u32, b: u32) -> u32 {\n (a & b) + ((a ^ b) << 1)\n}", "spec_doc": "floor((a+b)/2) without overflow", "status": "kept_nonequivalent", "witness": "DIFF [(1, 0)] orig=0 mutant=2", "translated": true, "translate_error": null}
{"item_id": "mut-avg_floor-004", "kind": "mutant", "function": "avg_floor", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 23, "original_source": "pub fn avg_floor(a: u32, b: u32) -> u32 {\n (a & b) + ((a ^ b) >> 1)\n}", "mutant_source": "pub fn avg_floor(a: u32, b: u32) -> u32 {\n (a & b) + ((a ^ b) >> 0)\n}", "spec_doc": "floor((a+b)/2) without overflow", "status": "kept_nonequivalent", "witness": "DIFF [(1, 0)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-avg_floor-005", "kind": "mutant", "function": "avg_floor", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 23, "original_source": "pub fn avg_floor(a: u32, b: u32) -> u32 {\n (a & b) + ((a ^ b) >> 1)\n}", "mutant_source": "pub fn avg_floor(a: u32, b: u32) -> u32 {\n (a & b) + ((a ^ b) >> 2)\n}", "spec_doc": "floor((a+b)/2) without overflow", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295, 0)] orig=2147483647 mutant=1073741823", "translated": true, "translate_error": null}
{"item_id": "mut-abs_diff_u32-001", "kind": "mutant", "function": "abs_diff_u32", "operator": "op", "orig_token": ">=", "new_token": "<=", "token_index": 6, "original_source": "pub fn abs_diff_u32(a: u32, b: u32) -> u32 {\n if a >= b { a - b } else { b - a }\n}", "mutant_source": "pub fn abs_diff_u32(a: u32, b: u32) -> u32 {\n if a <= b { a - b } else { b - a }\n}", "spec_doc": "|a-b|", "status": "kept_nonequivalent", "witness": "DIFF [(1, 0)] orig=1 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-abs_diff_u32-002", "kind": "mutant", "function": "abs_diff_u32", "operator": "op", "orig_token": "-", "new_token": "+", "token_index": 14, "original_source": "pub fn abs_diff_u32(a: u32, b: u32) -> u32 {\n if a >= b { a - b } else { b - a }\n}", "mutant_source": "pub fn abs_diff_u32(a: u32, b: u32) -> u32 {\n if a >= b { a + b } else { b - a }\n}", "spec_doc": "|a-b|", "status": "kept_nonequivalent", "witness": "DIFF [(1, 1)] orig=0 mutant=2", "translated": true, "translate_error": null}
{"item_id": "mut-abs_diff_u32-003", "kind": "mutant", "function": "abs_diff_u32", "operator": "op", "orig_token": "-", "new_token": "+", "token_index": 26, "original_source": "pub fn abs_diff_u32(a: u32, b: u32) -> u32 {\n if a >= b { a - b } else { b - a }\n}", "mutant_source": "pub fn abs_diff_u32(a: u32, b: u32) -> u32 {\n if a >= b { a - b } else { b + a }\n}", "spec_doc": "|a-b|", "status": "kept_nonequivalent", "witness": "DIFF [(1, 4294967295)] orig=4294967294 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-gcd-000", "kind": "mutant", "function": "gcd", "operator": "op", "orig_token": "!=", "new_token": "==", "token_index": 28, "original_source": "pub fn gcd(a: u32, b: u32) -> u32 {\n let mut x = a;\n let mut y = b;\n while y != 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n x\n}", "mutant_source": "pub fn gcd(a: u32, b: u32) -> u32 {\n let mut x = a;\n let mut y = b;\n while y == 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n x\n}", "spec_doc": "Euclid gcd, gcd(0,0)=0", "status": "kept_nonequivalent", "witness": "DIFF [(0, 0)] orig=0 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-gcd-001", "kind": "mutant", "function": "gcd", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 30, "original_source": "pub fn gcd(a: u32, b: u32) -> u32 {\n let mut x = a;\n let mut y = b;\n while y != 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n x\n}", "mutant_source": "pub fn gcd(a: u32, b: u32) -> u32 {\n let mut x = a;\n let mut y = b;\n while y != 1 {\n let t = x % y;\n x = y;\n y = t;\n }\n x\n}", "spec_doc": "Euclid gcd, gcd(0,0)=0", "status": "kept_nonequivalent", "witness": "DIFF [(0, 0)] orig=0 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-isqrt-000", "kind": "mutant", "function": "isqrt", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 13, "original_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 65536;\n let n64 = n as u64;\n while hi - lo > 1 {\n let mid = (lo + hi) / 2;\n if mid * mid <= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "mutant_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 1;\n let mut hi: u64 = 65536;\n let n64 = n as u64;\n while hi - lo > 1 {\n let mid = (lo + hi) / 2;\n if mid * mid <= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "spec_doc": "floor(sqrt(n))", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-isqrt-001", "kind": "mutant", "function": "isqrt", "operator": "const", "orig_token": "65536", "new_token": "0", "token_index": 27, "original_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 65536;\n let n64 = n as u64;\n while hi - lo > 1 {\n let mid = (lo + hi) / 2;\n if mid * mid <= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "mutant_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 0;\n let n64 = n as u64;\n while hi - lo > 1 {\n let mid = (lo + hi) / 2;\n if mid * mid <= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "spec_doc": "floor(sqrt(n))", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-isqrt-002", "kind": "mutant", "function": "isqrt", "operator": "const", "orig_token": "65536", "new_token": "65535", "token_index": 27, "original_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 65536;\n let n64 = n as u64;\n while hi - lo > 1 {\n let mid = (lo + hi) / 2;\n if mid * mid <= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "mutant_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 65535;\n let n64 = n as u64;\n while hi - lo > 1 {\n let mid = (lo + hi) / 2;\n if mid * mid <= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "spec_doc": "floor(sqrt(n))", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295,)] orig=65535 mutant=65534", "translated": true, "translate_error": null}
{"item_id": "mut-isqrt-006", "kind": "mutant", "function": "isqrt", "operator": "op", "orig_token": ">", "new_token": "<", "token_index": 51, "original_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 65536;\n let n64 = n as u64;\n while hi - lo > 1 {\n let mid = (lo + hi) / 2;\n if mid * mid <= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "mutant_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 65536;\n let n64 = n as u64;\n while hi - lo < 1 {\n let mid = (lo + hi) / 2;\n if mid * mid <= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "spec_doc": "floor(sqrt(n))", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-isqrt-008", "kind": "mutant", "function": "isqrt", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 53, "original_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 65536;\n let n64 = n as u64;\n while hi - lo > 1 {\n let mid = (lo + hi) / 2;\n if mid * mid <= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "mutant_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 65536;\n let n64 = n as u64;\n while hi - lo > 2 {\n let mid = (lo + hi) / 2;\n if mid * mid <= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "spec_doc": "floor(sqrt(n))", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-isqrt-009", "kind": "mutant", "function": "isqrt", "operator": "op", "orig_token": "+", "new_token": "-", "token_index": 66, "original_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 65536;\n let n64 = n as u64;\n while hi - lo > 1 {\n let mid = (lo + hi) / 2;\n if mid * mid <= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "mutant_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 65536;\n let n64 = n as u64;\n while hi - lo > 1 {\n let mid = (lo - hi) / 2;\n if mid * mid <= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "spec_doc": "floor(sqrt(n))", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=0 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-isqrt-010", "kind": "mutant", "function": "isqrt", "operator": "op", "orig_token": "/", "new_token": "*", "token_index": 71, "original_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 65536;\n let n64 = n as u64;\n while hi - lo > 1 {\n let mid = (lo + hi) / 2;\n if mid * mid <= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "mutant_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 65536;\n let n64 = n as u64;\n while hi - lo > 1 {\n let mid = (lo + hi) * 2;\n if mid * mid <= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "spec_doc": "floor(sqrt(n))", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=0 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-isqrt-014", "kind": "mutant", "function": "isqrt", "operator": "op", "orig_token": "*", "new_token": "+", "token_index": 80, "original_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 65536;\n let n64 = n as u64;\n while hi - lo > 1 {\n let mid = (lo + hi) / 2;\n if mid * mid <= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "mutant_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 65536;\n let n64 = n as u64;\n while hi - lo > 1 {\n let mid = (lo + hi) / 2;\n if mid + mid <= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "spec_doc": "floor(sqrt(n))", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-isqrt-015", "kind": "mutant", "function": "isqrt", "operator": "op", "orig_token": "<=", "new_token": "<", "token_index": 84, "original_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 65536;\n let n64 = n as u64;\n while hi - lo > 1 {\n let mid = (lo + hi) / 2;\n if mid * mid <= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "mutant_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 65536;\n let n64 = n as u64;\n while hi - lo > 1 {\n let mid = (lo + hi) / 2;\n if mid * mid < n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "spec_doc": "floor(sqrt(n))", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-isqrt-016", "kind": "mutant", "function": "isqrt", "operator": "op", "orig_token": "<=", "new_token": ">=", "token_index": 84, "original_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 65536;\n let n64 = n as u64;\n while hi - lo > 1 {\n let mid = (lo + hi) / 2;\n if mid * mid <= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "mutant_source": "pub fn isqrt(n: u32) -> u32 {\n let mut lo: u64 = 0;\n let mut hi: u64 = 65536;\n let n64 = n as u64;\n while hi - lo > 1 {\n let mid = (lo + hi) / 2;\n if mid * mid >= n64 { lo = mid; } else { hi = mid; }\n }\n lo as u32\n}", "spec_doc": "floor(sqrt(n))", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=0 mutant=65535", "translated": true, "translate_error": null}
{"item_id": "mut-clamp_add-000", "kind": "mutant", "function": "clamp_add", "operator": "op", "orig_token": "+", "new_token": "-", "token_index": 16, "original_source": "pub fn clamp_add(a: u8, b: u8, cap: u8) -> u8 {\n let s = (a as u16) + (b as u16);\n if s > cap as u16 { cap } else { s as u8 }\n}", "mutant_source": "pub fn clamp_add(a: u8, b: u8, cap: u8) -> u8 {\n let s = (a as u16) - (b as u16);\n if s > cap as u16 { cap } else { s as u8 }\n}", "spec_doc": "min(a+b, cap) without overflow", "status": "kept_nonequivalent", "witness": "DIFF [(0, 1, 223)] orig=1 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-clamp_add-002", "kind": "mutant", "function": "clamp_add", "operator": "op", "orig_token": ">", "new_token": "<", "token_index": 31, "original_source": "pub fn clamp_add(a: u8, b: u8, cap: u8) -> u8 {\n let s = (a as u16) + (b as u16);\n if s > cap as u16 { cap } else { s as u8 }\n}", "mutant_source": "pub fn clamp_add(a: u8, b: u8, cap: u8) -> u8 {\n let s = (a as u16) + (b as u16);\n if s < cap as u16 { cap } else { s as u8 }\n}", "spec_doc": "min(a+b, cap) without overflow", "status": "kept_nonequivalent", "witness": "DIFF [(192, 0, 49)] orig=49 mutant=192", "translated": true, "translate_error": null}
{"item_id": "mut-round_up_div-000", "kind": "mutant", "function": "round_up_div", "operator": "op", "orig_token": "==", "new_token": "!=", "token_index": 6, "original_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 0 {\n None\n } else {\n Some(a / b + if a % b != 0 { 1 } else { 0 })\n }\n}", "mutant_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b != 0 {\n None\n } else {\n Some(a / b + if a % b != 0 { 1 } else { 0 })\n }\n}", "spec_doc": "ceil(a/b), None if b==0", "status": "kept_nonequivalent", "witness": "DIFF [(0, 0)] orig=None mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-round_up_div-001", "kind": "mutant", "function": "round_up_div", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 8, "original_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 0 {\n None\n } else {\n Some(a / b + if a % b != 0 { 1 } else { 0 })\n }\n}", "mutant_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 1 {\n None\n } else {\n Some(a / b + if a % b != 0 { 1 } else { 0 })\n }\n}", "spec_doc": "ceil(a/b), None if b==0", "status": "kept_nonequivalent", "witness": "DIFF [(0, 0)] orig=None mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-round_up_div-002", "kind": "mutant", "function": "round_up_div", "operator": "op", "orig_token": "/", "new_token": "*", "token_index": 24, "original_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 0 {\n None\n } else {\n Some(a / b + if a % b != 0 { 1 } else { 0 })\n }\n}", "mutant_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 0 {\n None\n } else {\n Some(a * b + if a % b != 0 { 1 } else { 0 })\n }\n}", "spec_doc": "ceil(a/b), None if b==0", "status": "kept_nonequivalent", "witness": "DIFF [(1, 4294967295)] orig=Some(1) mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-round_up_div-003", "kind": "mutant", "function": "round_up_div", "operator": "op", "orig_token": "+", "new_token": "-", "token_index": 28, "original_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 0 {\n None\n } else {\n Some(a / b + if a % b != 0 { 1 } else { 0 })\n }\n}", "mutant_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 0 {\n None\n } else {\n Some(a / b - if a % b != 0 { 1 } else { 0 })\n }\n}", "spec_doc": "ceil(a/b), None if b==0", "status": "kept_nonequivalent", "witness": "DIFF [(1, 4294967295)] orig=Some(1) mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-round_up_div-004", "kind": "mutant", "function": "round_up_div", "operator": "op", "orig_token": "%", "new_token": "/", "token_index": 34, "original_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 0 {\n None\n } else {\n Some(a / b + if a % b != 0 { 1 } else { 0 })\n }\n}", "mutant_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 0 {\n None\n } else {\n Some(a / b + if a / b != 0 { 1 } else { 0 })\n }\n}", "spec_doc": "ceil(a/b), None if b==0", "status": "kept_nonequivalent", "witness": "DIFF [(1, 1)] orig=Some(1) mutant=Some(2)", "translated": true, "translate_error": null}
{"item_id": "mut-round_up_div-005", "kind": "mutant", "function": "round_up_div", "operator": "op", "orig_token": "!=", "new_token": "==", "token_index": 38, "original_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 0 {\n None\n } else {\n Some(a / b + if a % b != 0 { 1 } else { 0 })\n }\n}", "mutant_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 0 {\n None\n } else {\n Some(a / b + if a % b == 0 { 1 } else { 0 })\n }\n}", "spec_doc": "ceil(a/b), None if b==0", "status": "kept_nonequivalent", "witness": "DIFF [(0, 1)] orig=Some(0) mutant=Some(1)", "translated": true, "translate_error": null}
{"item_id": "mut-round_up_div-006", "kind": "mutant", "function": "round_up_div", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 40, "original_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 0 {\n None\n } else {\n Some(a / b + if a % b != 0 { 1 } else { 0 })\n }\n}", "mutant_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 0 {\n None\n } else {\n Some(a / b + if a % b != 1 { 1 } else { 0 })\n }\n}", "spec_doc": "ceil(a/b), None if b==0", "status": "kept_nonequivalent", "witness": "DIFF [(0, 1)] orig=Some(0) mutant=Some(1)", "translated": true, "translate_error": null}
{"item_id": "mut-round_up_div-007", "kind": "mutant", "function": "round_up_div", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 44, "original_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 0 {\n None\n } else {\n Some(a / b + if a % b != 0 { 1 } else { 0 })\n }\n}", "mutant_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 0 {\n None\n } else {\n Some(a / b + if a % b != 0 { 0 } else { 0 })\n }\n}", "spec_doc": "ceil(a/b), None if b==0", "status": "kept_nonequivalent", "witness": "DIFF [(1, 4294967295)] orig=Some(1) mutant=Some(0)", "translated": true, "translate_error": null}
{"item_id": "mut-round_up_div-008", "kind": "mutant", "function": "round_up_div", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 44, "original_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 0 {\n None\n } else {\n Some(a / b + if a % b != 0 { 1 } else { 0 })\n }\n}", "mutant_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 0 {\n None\n } else {\n Some(a / b + if a % b != 0 { 2 } else { 0 })\n }\n}", "spec_doc": "ceil(a/b), None if b==0", "status": "kept_nonequivalent", "witness": "DIFF [(1, 4294967295)] orig=Some(1) mutant=Some(2)", "translated": true, "translate_error": null}
{"item_id": "mut-round_up_div-009", "kind": "mutant", "function": "round_up_div", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 52, "original_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 0 {\n None\n } else {\n Some(a / b + if a % b != 0 { 1 } else { 0 })\n }\n}", "mutant_source": "pub fn round_up_div(a: u32, b: u32) -> Option<u32> {\n if b == 0 {\n None\n } else {\n Some(a / b + if a % b != 0 { 1 } else { 1 })\n }\n}", "spec_doc": "ceil(a/b), None if b==0", "status": "kept_nonequivalent", "witness": "DIFF [(0, 1)] orig=Some(0) mutant=Some(1)", "translated": true, "translate_error": null}
{"item_id": "mut-next_multiple-000", "kind": "mutant", "function": "next_multiple", "operator": "op", "orig_token": "==", "new_token": "!=", "token_index": 6, "original_source": "pub fn next_multiple(a: u32, m: u32) -> Option<u32> {\n if m == 0 {\n return None;\n }\n let r = a % m;\n if r == 0 {\n Some(a)\n } else {\n a.checked_add(m - r)\n }\n}", "mutant_source": "pub fn next_multiple(a: u32, m: u32) -> Option<u32> {\n if m != 0 {\n return None;\n }\n let r = a % m;\n if r == 0 {\n Some(a)\n } else {\n a.checked_add(m - r)\n }\n}", "spec_doc": "smallest multiple of m that is >= a; None on m==0 or overflow", "status": "kept_nonequivalent", "witness": "DIFF [(0, 0)] orig=None mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-next_multiple-001", "kind": "mutant", "function": "next_multiple", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 8, "original_source": "pub fn next_multiple(a: u32, m: u32) -> Option<u32> {\n if m == 0 {\n return None;\n }\n let r = a % m;\n if r == 0 {\n Some(a)\n } else {\n a.checked_add(m - r)\n }\n}", "mutant_source": "pub fn next_multiple(a: u32, m: u32) -> Option<u32> {\n if m == 1 {\n return None;\n }\n let r = a % m;\n if r == 0 {\n Some(a)\n } else {\n a.checked_add(m - r)\n }\n}", "spec_doc": "smallest multiple of m that is >= a; None on m==0 or overflow", "status": "kept_nonequivalent", "witness": "DIFF [(0, 0)] orig=None mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-next_multiple-002", "kind": "mutant", "function": "next_multiple", "operator": "op", "orig_token": "%", "new_token": "/", "token_index": 27, "original_source": "pub fn next_multiple(a: u32, m: u32) -> Option<u32> {\n if m == 0 {\n return None;\n }\n let r = a % m;\n if r == 0 {\n Some(a)\n } else {\n a.checked_add(m - r)\n }\n}", "mutant_source": "pub fn next_multiple(a: u32, m: u32) -> Option<u32> {\n if m == 0 {\n return None;\n }\n let r = a / m;\n if r == 0 {\n Some(a)\n } else {\n a.checked_add(m - r)\n }\n}", "spec_doc": "smallest multiple of m that is >= a; None on m==0 or overflow", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295, 1)] orig=Some(4294967295) mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-next_multiple-003", "kind": "mutant", "function": "next_multiple", "operator": "op", "orig_token": "==", "new_token": "!=", "token_index": 36, "original_source": "pub fn next_multiple(a: u32, m: u32) -> Option<u32> {\n if m == 0 {\n return None;\n }\n let r = a % m;\n if r == 0 {\n Some(a)\n } else {\n a.checked_add(m - r)\n }\n}", "mutant_source": "pub fn next_multiple(a: u32, m: u32) -> Option<u32> {\n if m == 0 {\n return None;\n }\n let r = a % m;\n if r != 0 {\n Some(a)\n } else {\n a.checked_add(m - r)\n }\n}", "spec_doc": "smallest multiple of m that is >= a; None on m==0 or overflow", "status": "kept_nonequivalent", "witness": "DIFF [(0, 1)] orig=Some(0) mutant=Some(1)", "translated": true, "translate_error": null}
{"item_id": "mut-next_multiple-004", "kind": "mutant", "function": "next_multiple", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 38, "original_source": "pub fn next_multiple(a: u32, m: u32) -> Option<u32> {\n if m == 0 {\n return None;\n }\n let r = a % m;\n if r == 0 {\n Some(a)\n } else {\n a.checked_add(m - r)\n }\n}", "mutant_source": "pub fn next_multiple(a: u32, m: u32) -> Option<u32> {\n if m == 0 {\n return None;\n }\n let r = a % m;\n if r == 1 {\n Some(a)\n } else {\n a.checked_add(m - r)\n }\n}", "spec_doc": "smallest multiple of m that is >= a; None on m==0 or overflow", "status": "kept_nonequivalent", "witness": "DIFF [(0, 1)] orig=Some(0) mutant=Some(1)", "translated": true, "translate_error": null}
{"item_id": "mut-next_multiple-005", "kind": "mutant", "function": "next_multiple", "operator": "checked", "orig_token": "checked_add", "new_token": "checked_sub", "token_index": 55, "original_source": "pub fn next_multiple(a: u32, m: u32) -> Option<u32> {\n if m == 0 {\n return None;\n }\n let r = a % m;\n if r == 0 {\n Some(a)\n } else {\n a.checked_add(m - r)\n }\n}", "mutant_source": "pub fn next_multiple(a: u32, m: u32) -> Option<u32> {\n if m == 0 {\n return None;\n }\n let r = a % m;\n if r == 0 {\n Some(a)\n } else {\n a.checked_sub(m - r)\n }\n}", "spec_doc": "smallest multiple of m that is >= a; None on m==0 or overflow", "status": "kept_nonequivalent", "witness": "DIFF [(1, 4294967295)] orig=Some(4294967295) mutant=None", "translated": true, "translate_error": null}
{"item_id": "mut-next_multiple-006", "kind": "mutant", "function": "next_multiple", "operator": "op", "orig_token": "-", "new_token": "+", "token_index": 59, "original_source": "pub fn next_multiple(a: u32, m: u32) -> Option<u32> {\n if m == 0 {\n return None;\n }\n let r = a % m;\n if r == 0 {\n Some(a)\n } else {\n a.checked_add(m - r)\n }\n}", "mutant_source": "pub fn next_multiple(a: u32, m: u32) -> Option<u32> {\n if m == 0 {\n return None;\n }\n let r = a % m;\n if r == 0 {\n Some(a)\n } else {\n a.checked_add(m + r)\n }\n}", "spec_doc": "smallest multiple of m that is >= a; None on m==0 or overflow", "status": "kept_nonequivalent", "witness": "DIFF [(1, 4294967295)] orig=Some(4294967295) mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-digit_sum-000", "kind": "mutant", "function": "digit_sum", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 10, "original_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x > 0 {\n s += x % 10;\n x /= 10;\n }\n s\n}", "mutant_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 1;\n let mut x = n;\n while x > 0 {\n s += x % 10;\n x /= 10;\n }\n s\n}", "spec_doc": "sum of decimal digits", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-digit_sum-002", "kind": "mutant", "function": "digit_sum", "operator": "op", "orig_token": ">", "new_token": "<", "token_index": 28, "original_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x > 0 {\n s += x % 10;\n x /= 10;\n }\n s\n}", "mutant_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x < 0 {\n s += x % 10;\n x /= 10;\n }\n s\n}", "spec_doc": "sum of decimal digits", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-digit_sum-003", "kind": "mutant", "function": "digit_sum", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 30, "original_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x > 0 {\n s += x % 10;\n x /= 10;\n }\n s\n}", "mutant_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x > 1 {\n s += x % 10;\n x /= 10;\n }\n s\n}", "spec_doc": "sum of decimal digits", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-digit_sum-004", "kind": "mutant", "function": "digit_sum", "operator": "op", "orig_token": "+=", "new_token": "-=", "token_index": 36, "original_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x > 0 {\n s += x % 10;\n x /= 10;\n }\n s\n}", "mutant_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x > 0 {\n s -= x % 10;\n x /= 10;\n }\n s\n}", "spec_doc": "sum of decimal digits", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-digit_sum-005", "kind": "mutant", "function": "digit_sum", "operator": "op", "orig_token": "%", "new_token": "/", "token_index": 40, "original_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x > 0 {\n s += x % 10;\n x /= 10;\n }\n s\n}", "mutant_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x > 0 {\n s += x / 10;\n x /= 10;\n }\n s\n}", "spec_doc": "sum of decimal digits", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-digit_sum-007", "kind": "mutant", "function": "digit_sum", "operator": "const", "orig_token": "10", "new_token": "9", "token_index": 42, "original_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x > 0 {\n s += x % 10;\n x /= 10;\n }\n s\n}", "mutant_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x > 0 {\n s += x % 9;\n x /= 10;\n }\n s\n}", "spec_doc": "sum of decimal digits", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295,)] orig=57 mutant=47", "translated": true, "translate_error": null}
{"item_id": "mut-digit_sum-008", "kind": "mutant", "function": "digit_sum", "operator": "const", "orig_token": "10", "new_token": "11", "token_index": 42, "original_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x > 0 {\n s += x % 10;\n x /= 10;\n }\n s\n}", "mutant_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x > 0 {\n s += x % 11;\n x /= 10;\n }\n s\n}", "spec_doc": "sum of decimal digits", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295,)] orig=57 mutant=41", "translated": true, "translate_error": null}
{"item_id": "mut-digit_sum-009", "kind": "mutant", "function": "digit_sum", "operator": "op", "orig_token": "/=", "new_token": "*=", "token_index": 47, "original_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x > 0 {\n s += x % 10;\n x /= 10;\n }\n s\n}", "mutant_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x > 0 {\n s += x % 10;\n x *= 10;\n }\n s\n}", "spec_doc": "sum of decimal digits", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-digit_sum-011", "kind": "mutant", "function": "digit_sum", "operator": "const", "orig_token": "10", "new_token": "9", "token_index": 49, "original_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x > 0 {\n s += x % 10;\n x /= 10;\n }\n s\n}", "mutant_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x > 0 {\n s += x % 10;\n x /= 9;\n }\n s\n}", "spec_doc": "sum of decimal digits", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295,)] orig=57 mutant=51", "translated": true, "translate_error": null}
{"item_id": "mut-digit_sum-012", "kind": "mutant", "function": "digit_sum", "operator": "const", "orig_token": "10", "new_token": "11", "token_index": 49, "original_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x > 0 {\n s += x % 10;\n x /= 10;\n }\n s\n}", "mutant_source": "pub fn digit_sum(n: u32) -> u32 {\n let mut s = 0;\n let mut x = n;\n while x > 0 {\n s += x % 10;\n x /= 11;\n }\n s\n}", "spec_doc": "sum of decimal digits", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295,)] orig=57 mutant=31", "translated": true, "translate_error": null}
{"item_id": "mut-is_pow2-000", "kind": "mutant", "function": "is_pow2", "operator": "op", "orig_token": "!=", "new_token": "==", "token_index": 4, "original_source": "pub fn is_pow2(n: u32) -> bool {\n n != 0 && (n & (n - 1)) == 0\n}", "mutant_source": "pub fn is_pow2(n: u32) -> bool {\n n == 0 && (n & (n - 1)) == 0\n}", "spec_doc": "n is a positive power of two", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=false mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-is_pow2-001", "kind": "mutant", "function": "is_pow2", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 6, "original_source": "pub fn is_pow2(n: u32) -> bool {\n n != 0 && (n & (n - 1)) == 0\n}", "mutant_source": "pub fn is_pow2(n: u32) -> bool {\n n != 1 && (n & (n - 1)) == 0\n}", "spec_doc": "n is a positive power of two", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=false mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-is_pow2-002", "kind": "mutant", "function": "is_pow2", "operator": "op", "orig_token": "&&", "new_token": "||", "token_index": 8, "original_source": "pub fn is_pow2(n: u32) -> bool {\n n != 0 && (n & (n - 1)) == 0\n}", "mutant_source": "pub fn is_pow2(n: u32) -> bool {\n n != 0 || (n & (n - 1)) == 0\n}", "spec_doc": "n is a positive power of two", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=false mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-is_pow2-003", "kind": "mutant", "function": "is_pow2", "operator": "op", "orig_token": "&", "new_token": "|", "token_index": 13, "original_source": "pub fn is_pow2(n: u32) -> bool {\n n != 0 && (n & (n - 1)) == 0\n}", "mutant_source": "pub fn is_pow2(n: u32) -> bool {\n n != 0 && (n | (n - 1)) == 0\n}", "spec_doc": "n is a positive power of two", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=true mutant=false", "translated": true, "translate_error": null}
{"item_id": "mut-is_pow2-004", "kind": "mutant", "function": "is_pow2", "operator": "op", "orig_token": "-", "new_token": "+", "token_index": 18, "original_source": "pub fn is_pow2(n: u32) -> bool {\n n != 0 && (n & (n - 1)) == 0\n}", "mutant_source": "pub fn is_pow2(n: u32) -> bool {\n n != 0 && (n & (n + 1)) == 0\n}", "spec_doc": "n is a positive power of two", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295,)] orig=false mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-is_pow2-005", "kind": "mutant", "function": "is_pow2", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 20, "original_source": "pub fn is_pow2(n: u32) -> bool {\n n != 0 && (n & (n - 1)) == 0\n}", "mutant_source": "pub fn is_pow2(n: u32) -> bool {\n n != 0 && (n & (n - 0)) == 0\n}", "spec_doc": "n is a positive power of two", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=true mutant=false", "translated": true, "translate_error": null}
{"item_id": "mut-is_pow2-006", "kind": "mutant", "function": "is_pow2", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 20, "original_source": "pub fn is_pow2(n: u32) -> bool {\n n != 0 && (n & (n - 1)) == 0\n}", "mutant_source": "pub fn is_pow2(n: u32) -> bool {\n n != 0 && (n & (n - 2)) == 0\n}", "spec_doc": "n is a positive power of two", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=true mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-is_pow2-007", "kind": "mutant", "function": "is_pow2", "operator": "op", "orig_token": "==", "new_token": "!=", "token_index": 24, "original_source": "pub fn is_pow2(n: u32) -> bool {\n n != 0 && (n & (n - 1)) == 0\n}", "mutant_source": "pub fn is_pow2(n: u32) -> bool {\n n != 0 && (n & (n - 1)) != 0\n}", "spec_doc": "n is a positive power of two", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=true mutant=false", "translated": true, "translate_error": null}
{"item_id": "mut-is_pow2-008", "kind": "mutant", "function": "is_pow2", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 26, "original_source": "pub fn is_pow2(n: u32) -> bool {\n n != 0 && (n & (n - 1)) == 0\n}", "mutant_source": "pub fn is_pow2(n: u32) -> bool {\n n != 0 && (n & (n - 1)) == 1\n}", "spec_doc": "n is a positive power of two", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=true mutant=false", "translated": true, "translate_error": null}
{"item_id": "mut-popcount-000", "kind": "mutant", "function": "popcount", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 10, "original_source": "pub fn popcount(n: u32) -> u32 {\n let mut c = 0;\n let mut x = n;\n while x != 0 {\n c += x & 1;\n x >>= 1;\n }\n c\n}", "mutant_source": "pub fn popcount(n: u32) -> u32 {\n let mut c = 1;\n let mut x = n;\n while x != 0 {\n c += x & 1;\n x >>= 1;\n }\n c\n}", "spec_doc": "number of set bits", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-popcount-003", "kind": "mutant", "function": "popcount", "operator": "op", "orig_token": "+=", "new_token": "-=", "token_index": 36, "original_source": "pub fn popcount(n: u32) -> u32 {\n let mut c = 0;\n let mut x = n;\n while x != 0 {\n c += x & 1;\n x >>= 1;\n }\n c\n}", "mutant_source": "pub fn popcount(n: u32) -> u32 {\n let mut c = 0;\n let mut x = n;\n while x != 0 {\n c -= x & 1;\n x >>= 1;\n }\n c\n}", "spec_doc": "number of set bits", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-popcount-004", "kind": "mutant", "function": "popcount", "operator": "op", "orig_token": "&", "new_token": "|", "token_index": 40, "original_source": "pub fn popcount(n: u32) -> u32 {\n let mut c = 0;\n let mut x = n;\n while x != 0 {\n c += x & 1;\n x >>= 1;\n }\n c\n}", "mutant_source": "pub fn popcount(n: u32) -> u32 {\n let mut c = 0;\n let mut x = n;\n while x != 0 {\n c += x | 1;\n x >>= 1;\n }\n c\n}", "spec_doc": "number of set bits", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295,)] orig=32 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-popcount-005", "kind": "mutant", "function": "popcount", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 42, "original_source": "pub fn popcount(n: u32) -> u32 {\n let mut c = 0;\n let mut x = n;\n while x != 0 {\n c += x & 1;\n x >>= 1;\n }\n c\n}", "mutant_source": "pub fn popcount(n: u32) -> u32 {\n let mut c = 0;\n let mut x = n;\n while x != 0 {\n c += x & 0;\n x >>= 1;\n }\n c\n}", "spec_doc": "number of set bits", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-popcount-006", "kind": "mutant", "function": "popcount", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 42, "original_source": "pub fn popcount(n: u32) -> u32 {\n let mut c = 0;\n let mut x = n;\n while x != 0 {\n c += x & 1;\n x >>= 1;\n }\n c\n}", "mutant_source": "pub fn popcount(n: u32) -> u32 {\n let mut c = 0;\n let mut x = n;\n while x != 0 {\n c += x & 2;\n x >>= 1;\n }\n c\n}", "spec_doc": "number of set bits", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-popcount-007", "kind": "mutant", "function": "popcount", "operator": "op", "orig_token": ">>=", "new_token": "<<=", "token_index": 47, "original_source": "pub fn popcount(n: u32) -> u32 {\n let mut c = 0;\n let mut x = n;\n while x != 0 {\n c += x & 1;\n x >>= 1;\n }\n c\n}", "mutant_source": "pub fn popcount(n: u32) -> u32 {\n let mut c = 0;\n let mut x = n;\n while x != 0 {\n c += x & 1;\n x <<= 1;\n }\n c\n}", "spec_doc": "number of set bits", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295,)] orig=32 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-popcount-008", "kind": "mutant", "function": "popcount", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 49, "original_source": "pub fn popcount(n: u32) -> u32 {\n let mut c = 0;\n let mut x = n;\n while x != 0 {\n c += x & 1;\n x >>= 1;\n }\n c\n}", "mutant_source": "pub fn popcount(n: u32) -> u32 {\n let mut c = 0;\n let mut x = n;\n while x != 0 {\n c += x & 1;\n x >>= 0;\n }\n c\n}", "spec_doc": "number of set bits", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-popcount-009", "kind": "mutant", "function": "popcount", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 49, "original_source": "pub fn popcount(n: u32) -> u32 {\n let mut c = 0;\n let mut x = n;\n while x != 0 {\n c += x & 1;\n x >>= 1;\n }\n c\n}", "mutant_source": "pub fn popcount(n: u32) -> u32 {\n let mut c = 0;\n let mut x = n;\n while x != 0 {\n c += x & 1;\n x >>= 2;\n }\n c\n}", "spec_doc": "number of set bits", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295,)] orig=32 mutant=16", "translated": true, "translate_error": null}
{"item_id": "mut-ilog2_floor-000", "kind": "mutant", "function": "ilog2_floor", "operator": "op", "orig_token": "==", "new_token": "!=", "token_index": 6, "original_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "mutant_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n != 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "spec_doc": "floor(log2 n), None for 0", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=None mutant=Some(0)", "translated": true, "translate_error": null}
{"item_id": "mut-ilog2_floor-001", "kind": "mutant", "function": "ilog2_floor", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 8, "original_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "mutant_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 1 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "spec_doc": "floor(log2 n), None for 0", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=None mutant=Some(0)", "translated": true, "translate_error": null}
{"item_id": "mut-ilog2_floor-002", "kind": "mutant", "function": "ilog2_floor", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 27, "original_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "mutant_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 1;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "spec_doc": "floor(log2 n), None for 0", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=Some(0) mutant=Some(1)", "translated": true, "translate_error": null}
{"item_id": "mut-ilog2_floor-003", "kind": "mutant", "function": "ilog2_floor", "operator": "op", "orig_token": ">", "new_token": ">=", "token_index": 45, "original_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "mutant_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x >= 1 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "spec_doc": "floor(log2 n), None for 0", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=Some(0) mutant=Some(1)", "translated": true, "translate_error": null}
{"item_id": "mut-ilog2_floor-004", "kind": "mutant", "function": "ilog2_floor", "operator": "op", "orig_token": ">", "new_token": "<", "token_index": 45, "original_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "mutant_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x < 1 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "spec_doc": "floor(log2 n), None for 0", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295,)] orig=Some(31) mutant=Some(0)", "translated": true, "translate_error": null}
{"item_id": "mut-ilog2_floor-005", "kind": "mutant", "function": "ilog2_floor", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 47, "original_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "mutant_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 0 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "spec_doc": "floor(log2 n), None for 0", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=Some(0) mutant=Some(1)", "translated": true, "translate_error": null}
{"item_id": "mut-ilog2_floor-006", "kind": "mutant", "function": "ilog2_floor", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 47, "original_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "mutant_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 2 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "spec_doc": "floor(log2 n), None for 0", "status": "kept_nonequivalent", "witness": "DIFF [(2,)] orig=Some(1) mutant=Some(0)", "translated": true, "translate_error": null}
{"item_id": "mut-ilog2_floor-007", "kind": "mutant", "function": "ilog2_floor", "operator": "op", "orig_token": ">>=", "new_token": "<<=", "token_index": 53, "original_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "mutant_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x <<= 1;\n k += 1;\n }\n Some(k)\n}", "spec_doc": "floor(log2 n), None for 0", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295,)] orig=Some(31) mutant=Some(32)", "translated": true, "translate_error": null}
{"item_id": "mut-ilog2_floor-008", "kind": "mutant", "function": "ilog2_floor", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 55, "original_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "mutant_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 0;\n k += 1;\n }\n Some(k)\n}", "spec_doc": "floor(log2 n), None for 0", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295,)] orig=Some(31) mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-ilog2_floor-009", "kind": "mutant", "function": "ilog2_floor", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 55, "original_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "mutant_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 2;\n k += 1;\n }\n Some(k)\n}", "spec_doc": "floor(log2 n), None for 0", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295,)] orig=Some(31) mutant=Some(16)", "translated": true, "translate_error": null}
{"item_id": "mut-ilog2_floor-010", "kind": "mutant", "function": "ilog2_floor", "operator": "op", "orig_token": "+=", "new_token": "-=", "token_index": 60, "original_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "mutant_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k -= 1;\n }\n Some(k)\n}", "spec_doc": "floor(log2 n), None for 0", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295,)] orig=Some(31) mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-ilog2_floor-011", "kind": "mutant", "function": "ilog2_floor", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 62, "original_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "mutant_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k += 0;\n }\n Some(k)\n}", "spec_doc": "floor(log2 n), None for 0", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295,)] orig=Some(31) mutant=Some(0)", "translated": true, "translate_error": null}
{"item_id": "mut-ilog2_floor-012", "kind": "mutant", "function": "ilog2_floor", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 62, "original_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k += 1;\n }\n Some(k)\n}", "mutant_source": "pub fn ilog2_floor(n: u32) -> Option<u32> {\n if n == 0 {\n return None;\n }\n let mut k = 0;\n let mut x = n;\n while x > 1 {\n x >>= 1;\n k += 2;\n }\n Some(k)\n}", "spec_doc": "floor(log2 n), None for 0", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295,)] orig=Some(31) mutant=Some(62)", "translated": true, "translate_error": null}
{"item_id": "mut-triangular-000", "kind": "mutant", "function": "triangular", "operator": "op", "orig_token": "*", "new_token": "+", "token_index": 17, "original_source": "pub fn triangular(n: u32) -> u64 {\n let m = n as u64;\n m * (m + 1) / 2\n}", "mutant_source": "pub fn triangular(n: u32) -> u64 {\n let m = n as u64;\n m + (m + 1) / 2\n}", "spec_doc": "n(n+1)/2 in u64", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=2", "translated": true, "translate_error": null}
{"item_id": "mut-triangular-001", "kind": "mutant", "function": "triangular", "operator": "op", "orig_token": "+", "new_token": "-", "token_index": 22, "original_source": "pub fn triangular(n: u32) -> u64 {\n let m = n as u64;\n m * (m + 1) / 2\n}", "mutant_source": "pub fn triangular(n: u32) -> u64 {\n let m = n as u64;\n m * (m - 1) / 2\n}", "spec_doc": "n(n+1)/2 in u64", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=0 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-triangular-002", "kind": "mutant", "function": "triangular", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 24, "original_source": "pub fn triangular(n: u32) -> u64 {\n let m = n as u64;\n m * (m + 1) / 2\n}", "mutant_source": "pub fn triangular(n: u32) -> u64 {\n let m = n as u64;\n m * (m + 0) / 2\n}", "spec_doc": "n(n+1)/2 in u64", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-triangular-003", "kind": "mutant", "function": "triangular", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 24, "original_source": "pub fn triangular(n: u32) -> u64 {\n let m = n as u64;\n m * (m + 1) / 2\n}", "mutant_source": "pub fn triangular(n: u32) -> u64 {\n let m = n as u64;\n m * (m + 2) / 2\n}", "spec_doc": "n(n+1)/2 in u64", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295,)] orig=9223372034707292160 mutant=9223372036854775807", "translated": true, "translate_error": null}
{"item_id": "mut-triangular-004", "kind": "mutant", "function": "triangular", "operator": "op", "orig_token": "/", "new_token": "*", "token_index": 27, "original_source": "pub fn triangular(n: u32) -> u64 {\n let m = n as u64;\n m * (m + 1) / 2\n}", "mutant_source": "pub fn triangular(n: u32) -> u64 {\n let m = n as u64;\n m * (m + 1) * 2\n}", "spec_doc": "n(n+1)/2 in u64", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=4", "translated": true, "translate_error": null}
{"item_id": "mut-triangular-006", "kind": "mutant", "function": "triangular", "operator": "const", "orig_token": "2", "new_token": "1", "token_index": 29, "original_source": "pub fn triangular(n: u32) -> u64 {\n let m = n as u64;\n m * (m + 1) / 2\n}", "mutant_source": "pub fn triangular(n: u32) -> u64 {\n let m = n as u64;\n m * (m + 1) / 1\n}", "spec_doc": "n(n+1)/2 in u64", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=2", "translated": true, "translate_error": null}
{"item_id": "mut-triangular-007", "kind": "mutant", "function": "triangular", "operator": "const", "orig_token": "2", "new_token": "3", "token_index": 29, "original_source": "pub fn triangular(n: u32) -> u64 {\n let m = n as u64;\n m * (m + 1) / 2\n}", "mutant_source": "pub fn triangular(n: u32) -> u64 {\n let m = n as u64;\n m * (m + 1) / 3\n}", "spec_doc": "n(n+1)/2 in u64", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-000", "kind": "mutant", "function": "collatz_steps", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 25, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 1;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-001", "kind": "mutant", "function": "collatz_steps", "operator": "op", "orig_token": ">", "new_token": ">=", "token_index": 32, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x >= 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=0 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-002", "kind": "mutant", "function": "collatz_steps", "operator": "op", "orig_token": ">", "new_token": "<", "token_index": 32, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x < 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=0 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-003", "kind": "mutant", "function": "collatz_steps", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 34, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 0 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=0 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-004", "kind": "mutant", "function": "collatz_steps", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 34, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 2 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=129", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-005", "kind": "mutant", "function": "collatz_steps", "operator": "op", "orig_token": "%", "new_token": "/", "token_index": 46, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x / 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-007", "kind": "mutant", "function": "collatz_steps", "operator": "const", "orig_token": "2", "new_token": "1", "token_index": 48, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 1 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=15", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-008", "kind": "mutant", "function": "collatz_steps", "operator": "const", "orig_token": "2", "new_token": "3", "token_index": 48, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 3 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-009", "kind": "mutant", "function": "collatz_steps", "operator": "op", "orig_token": "==", "new_token": "!=", "token_index": 50, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 != 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=15", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-010", "kind": "mutant", "function": "collatz_steps", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 52, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 1 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=15", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-011", "kind": "mutant", "function": "collatz_steps", "operator": "op", "orig_token": "/", "new_token": "*", "token_index": 58, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x * 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-013", "kind": "mutant", "function": "collatz_steps", "operator": "const", "orig_token": "2", "new_token": "1", "token_index": 60, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 1 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-014", "kind": "mutant", "function": "collatz_steps", "operator": "const", "orig_token": "2", "new_token": "3", "token_index": 60, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 3 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-015", "kind": "mutant", "function": "collatz_steps", "operator": "const", "orig_token": "3", "new_token": "0", "token_index": 68, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 0 * x + 1 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-016", "kind": "mutant", "function": "collatz_steps", "operator": "const", "orig_token": "3", "new_token": "2", "token_index": 68, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 2 * x + 1 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-017", "kind": "mutant", "function": "collatz_steps", "operator": "const", "orig_token": "3", "new_token": "4", "token_index": 68, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 4 * x + 1 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-018", "kind": "mutant", "function": "collatz_steps", "operator": "op", "orig_token": "*", "new_token": "+", "token_index": 70, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 + x + 1 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-019", "kind": "mutant", "function": "collatz_steps", "operator": "op", "orig_token": "+", "new_token": "-", "token_index": 74, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x - 1 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=47", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-020", "kind": "mutant", "function": "collatz_steps", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 76, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 0 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-021", "kind": "mutant", "function": "collatz_steps", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 76, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 2 };\n s += 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-022", "kind": "mutant", "function": "collatz_steps", "operator": "op", "orig_token": "+=", "new_token": "-=", "token_index": 83, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s -= 1;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-023", "kind": "mutant", "function": "collatz_steps", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 85, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 0;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-collatz_steps-024", "kind": "mutant", "function": "collatz_steps", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 85, "original_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 1;\n }\n s\n}", "mutant_source": "pub fn collatz_steps(n: u16) -> u32 {\n let mut x = n as u64;\n let mut s = 0;\n while x > 1 {\n x = if x % 2 == 0 { x / 2 } else { 3 * x + 1 };\n s += 2;\n }\n s\n}", "spec_doc": "steps to reach 1 (0 for n<=1)", "status": "kept_nonequivalent", "witness": "DIFF [(65535,)] orig=130 mutant=260", "translated": true, "translate_error": null}
{"item_id": "mut-sat_sub_i32-000", "kind": "mutant", "function": "sat_sub_i32", "operator": "op", "orig_token": "-", "new_token": "+", "token_index": 16, "original_source": "pub fn sat_sub_i32(a: i32, b: i32) -> i32 {\n let d = (a as i64) - (b as i64);\n if d > i32::MAX as i64 {\n i32::MAX\n } else if d < i32::MIN as i64 {\n i32::MIN\n } else {\n d as i32\n }\n}", "mutant_source": "pub fn sat_sub_i32(a: i32, b: i32) -> i32 {\n let d = (a as i64) + (b as i64);\n if d > i32::MAX as i64 {\n i32::MAX\n } else if d < i32::MIN as i64 {\n i32::MIN\n } else {\n d as i32\n }\n}", "spec_doc": "saturating subtraction", "status": "kept_nonequivalent", "witness": "DIFF [(0, 1)] orig=-1 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-sat_sub_i32-002", "kind": "mutant", "function": "sat_sub_i32", "operator": "op", "orig_token": ">", "new_token": "<", "token_index": 31, "original_source": "pub fn sat_sub_i32(a: i32, b: i32) -> i32 {\n let d = (a as i64) - (b as i64);\n if d > i32::MAX as i64 {\n i32::MAX\n } else if d < i32::MIN as i64 {\n i32::MIN\n } else {\n d as i32\n }\n}", "mutant_source": "pub fn sat_sub_i32(a: i32, b: i32) -> i32 {\n let d = (a as i64) - (b as i64);\n if d < i32::MAX as i64 {\n i32::MAX\n } else if d < i32::MIN as i64 {\n i32::MIN\n } else {\n d as i32\n }\n}", "spec_doc": "saturating subtraction", "status": "kept_nonequivalent", "witness": "DIFF [(0, 0)] orig=0 mutant=2147483647", "translated": true, "translate_error": null}
{"item_id": "mut-sat_sub_i32-004", "kind": "mutant", "function": "sat_sub_i32", "operator": "op", "orig_token": "<", "new_token": ">", "token_index": 55, "original_source": "pub fn sat_sub_i32(a: i32, b: i32) -> i32 {\n let d = (a as i64) - (b as i64);\n if d > i32::MAX as i64 {\n i32::MAX\n } else if d < i32::MIN as i64 {\n i32::MIN\n } else {\n d as i32\n }\n}", "mutant_source": "pub fn sat_sub_i32(a: i32, b: i32) -> i32 {\n let d = (a as i64) - (b as i64);\n if d > i32::MAX as i64 {\n i32::MAX\n } else if d > i32::MIN as i64 {\n i32::MIN\n } else {\n d as i32\n }\n}", "spec_doc": "saturating subtraction", "status": "kept_nonequivalent", "witness": "DIFF [(0, 0)] orig=0 mutant=-2147483648", "translated": true, "translate_error": null}
{"item_id": "mut-sign3-000", "kind": "mutant", "function": "sign3", "operator": "op", "orig_token": ">", "new_token": ">=", "token_index": 6, "original_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 1\n } else if x < 0 {\n -1\n } else {\n 0\n }\n}", "mutant_source": "pub fn sign3(x: i32) -> i32 {\n if x >= 0 {\n 1\n } else if x < 0 {\n -1\n } else {\n 0\n }\n}", "spec_doc": "-1,0,1", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-sign3-001", "kind": "mutant", "function": "sign3", "operator": "op", "orig_token": ">", "new_token": "<", "token_index": 6, "original_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 1\n } else if x < 0 {\n -1\n } else {\n 0\n }\n}", "mutant_source": "pub fn sign3(x: i32) -> i32 {\n if x < 0 {\n 1\n } else if x < 0 {\n -1\n } else {\n 0\n }\n}", "spec_doc": "-1,0,1", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-sign3-002", "kind": "mutant", "function": "sign3", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 8, "original_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 1\n } else if x < 0 {\n -1\n } else {\n 0\n }\n}", "mutant_source": "pub fn sign3(x: i32) -> i32 {\n if x > 1 {\n 1\n } else if x < 0 {\n -1\n } else {\n 0\n }\n}", "spec_doc": "-1,0,1", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-sign3-003", "kind": "mutant", "function": "sign3", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 12, "original_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 1\n } else if x < 0 {\n -1\n } else {\n 0\n }\n}", "mutant_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 0\n } else if x < 0 {\n -1\n } else {\n 0\n }\n}", "spec_doc": "-1,0,1", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-sign3-004", "kind": "mutant", "function": "sign3", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 12, "original_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 1\n } else if x < 0 {\n -1\n } else {\n 0\n }\n}", "mutant_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 2\n } else if x < 0 {\n -1\n } else {\n 0\n }\n}", "spec_doc": "-1,0,1", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=1 mutant=2", "translated": true, "translate_error": null}
{"item_id": "mut-sign3-005", "kind": "mutant", "function": "sign3", "operator": "op", "orig_token": "<", "new_token": "<=", "token_index": 22, "original_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 1\n } else if x < 0 {\n -1\n } else {\n 0\n }\n}", "mutant_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 1\n } else if x <= 0 {\n -1\n } else {\n 0\n }\n}", "spec_doc": "-1,0,1", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=0 mutant=-1", "translated": true, "translate_error": null}
{"item_id": "mut-sign3-006", "kind": "mutant", "function": "sign3", "operator": "op", "orig_token": "<", "new_token": ">", "token_index": 22, "original_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 1\n } else if x < 0 {\n -1\n } else {\n 0\n }\n}", "mutant_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 1\n } else if x > 0 {\n -1\n } else {\n 0\n }\n}", "spec_doc": "-1,0,1", "status": "kept_nonequivalent", "witness": "DIFF [(-1,)] orig=-1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-sign3-007", "kind": "mutant", "function": "sign3", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 24, "original_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 1\n } else if x < 0 {\n -1\n } else {\n 0\n }\n}", "mutant_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 1\n } else if x < 1 {\n -1\n } else {\n 0\n }\n}", "spec_doc": "-1,0,1", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=0 mutant=-1", "translated": true, "translate_error": null}
{"item_id": "mut-sign3-008", "kind": "mutant", "function": "sign3", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 29, "original_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 1\n } else if x < 0 {\n -1\n } else {\n 0\n }\n}", "mutant_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 1\n } else if x < 0 {\n -0\n } else {\n 0\n }\n}", "spec_doc": "-1,0,1", "status": "kept_nonequivalent", "witness": "DIFF [(-1,)] orig=-1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-sign3-009", "kind": "mutant", "function": "sign3", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 29, "original_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 1\n } else if x < 0 {\n -1\n } else {\n 0\n }\n}", "mutant_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 1\n } else if x < 0 {\n -2\n } else {\n 0\n }\n}", "spec_doc": "-1,0,1", "status": "kept_nonequivalent", "witness": "DIFF [(-1,)] orig=-1 mutant=-2", "translated": true, "translate_error": null}
{"item_id": "mut-sign3-010", "kind": "mutant", "function": "sign3", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 37, "original_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 1\n } else if x < 0 {\n -1\n } else {\n 0\n }\n}", "mutant_source": "pub fn sign3(x: i32) -> i32 {\n if x > 0 {\n 1\n } else if x < 0 {\n -1\n } else {\n 1\n }\n}", "spec_doc": "-1,0,1", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-000", "kind": "mutant", "function": "pow_mod", "operator": "op", "orig_token": "==", "new_token": "!=", "token_index": 6, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m != 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(0, 0, 0)] orig=0 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-001", "kind": "mutant", "function": "pow_mod", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 8, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 1 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(0, 0, 0)] orig=0 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-002", "kind": "mutant", "function": "pow_mod", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 14, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 1;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(0, 0, 0)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-003", "kind": "mutant", "function": "pow_mod", "operator": "op", "orig_token": "%", "new_token": "/", "token_index": 48, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) / mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(1, 1, 3096764529)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-004", "kind": "mutant", "function": "pow_mod", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 75, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 0 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295, 0, 4294967295)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-005", "kind": "mutant", "function": "pow_mod", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 75, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 2 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295, 0, 4294967295)] orig=1 mutant=2", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-006", "kind": "mutant", "function": "pow_mod", "operator": "op", "orig_token": "%", "new_token": "/", "token_index": 77, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 / mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(1, 0, 1)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-008", "kind": "mutant", "function": "pow_mod", "operator": "op", "orig_token": ">", "new_token": "<", "token_index": 86, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp < 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(0, 1, 1175895263)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-009", "kind": "mutant", "function": "pow_mod", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 88, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 1 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(0, 1, 1175895263)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-010", "kind": "mutant", "function": "pow_mod", "operator": "op", "orig_token": "&", "new_token": "|", "token_index": 96, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp | 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295, 4294967295, 2917660787)] orig=574928797 mutant=1123820376", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-011", "kind": "mutant", "function": "pow_mod", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 98, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 0 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(0, 1, 1175895263)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-012", "kind": "mutant", "function": "pow_mod", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 98, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 2 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(0, 1, 1175895263)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-013", "kind": "mutant", "function": "pow_mod", "operator": "op", "orig_token": "==", "new_token": "!=", "token_index": 100, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 != 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(0, 1, 1175895263)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-014", "kind": "mutant", "function": "pow_mod", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 102, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 0 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(0, 1, 1175895263)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-015", "kind": "mutant", "function": "pow_mod", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 102, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 2 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(0, 1, 1175895263)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-016", "kind": "mutant", "function": "pow_mod", "operator": "op", "orig_token": "*", "new_token": "+", "token_index": 113, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc + base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(0, 1, 1175895263)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-017", "kind": "mutant", "function": "pow_mod", "operator": "op", "orig_token": "%", "new_token": "/", "token_index": 118, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) / mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(1, 1, 3096764529)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-018", "kind": "mutant", "function": "pow_mod", "operator": "op", "orig_token": "*", "new_token": "+", "token_index": 132, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base + base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(1, 4294967295, 4221459743)] orig=1 mutant=1464657872", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-019", "kind": "mutant", "function": "pow_mod", "operator": "op", "orig_token": "%", "new_token": "/", "token_index": 137, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) / mm;\n exp >>= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(1, 4294967295, 4221459743)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-020", "kind": "mutant", "function": "pow_mod", "operator": "op", "orig_token": ">>=", "new_token": "<<=", "token_index": 144, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp <<= 1;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295, 4294967295, 2917660787)] orig=574928797 mutant=1377306508", "translated": true, "translate_error": null}
{"item_id": "mut-pow_mod-022", "kind": "mutant", "function": "pow_mod", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 146, "original_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 1;\n }\n acc as u32\n}", "mutant_source": "pub fn pow_mod(b: u32, e: u32, m: u32) -> u32 {\n if m == 0 {\n return 0;\n }\n let mm = m as u64;\n let mut base = (b as u64) % mm;\n let mut exp = e;\n let mut acc: u64 = 1 % mm;\n while exp > 0 {\n if exp & 1 == 1 {\n acc = (acc * base) % mm;\n }\n base = (base * base) % mm;\n exp >>= 2;\n }\n acc as u32\n}", "spec_doc": "b^e mod m, m>0 (m==0 -> 0)", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295, 4294967295, 2917660787)] orig=574928797 mutant=545236188", "translated": true, "translate_error": null}
{"item_id": "mut-varint_len-000", "kind": "mutant", "function": "varint_len", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 10, "original_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len += 1;\n }\n len\n}", "mutant_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 0;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len += 1;\n }\n len\n}", "spec_doc": "LEB128 byte length of n", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=1 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-varint_len-001", "kind": "mutant", "function": "varint_len", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 10, "original_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len += 1;\n }\n len\n}", "mutant_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 2;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len += 1;\n }\n len\n}", "spec_doc": "LEB128 byte length of n", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=1 mutant=2", "translated": true, "translate_error": null}
{"item_id": "mut-varint_len-002", "kind": "mutant", "function": "varint_len", "operator": "op", "orig_token": ">=", "new_token": ">", "token_index": 28, "original_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len += 1;\n }\n len\n}", "mutant_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x > 128 {\n x >>= 7;\n len += 1;\n }\n len\n}", "spec_doc": "LEB128 byte length of n", "status": "kept_nonequivalent", "witness": "DIFF [(128,)] orig=2 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-varint_len-003", "kind": "mutant", "function": "varint_len", "operator": "op", "orig_token": ">=", "new_token": "<=", "token_index": 28, "original_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len += 1;\n }\n len\n}", "mutant_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x <= 128 {\n x >>= 7;\n len += 1;\n }\n len\n}", "spec_doc": "LEB128 byte length of n", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=1 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-varint_len-004", "kind": "mutant", "function": "varint_len", "operator": "const", "orig_token": "128", "new_token": "0", "token_index": 30, "original_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len += 1;\n }\n len\n}", "mutant_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 0 {\n x >>= 7;\n len += 1;\n }\n len\n}", "spec_doc": "LEB128 byte length of n", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=1 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-varint_len-005", "kind": "mutant", "function": "varint_len", "operator": "const", "orig_token": "128", "new_token": "127", "token_index": 30, "original_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len += 1;\n }\n len\n}", "mutant_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 127 {\n x >>= 7;\n len += 1;\n }\n len\n}", "spec_doc": "LEB128 byte length of n", "status": "kept_nonequivalent", "witness": "DIFF [(127,)] orig=1 mutant=2", "translated": true, "translate_error": null}
{"item_id": "mut-varint_len-006", "kind": "mutant", "function": "varint_len", "operator": "const", "orig_token": "128", "new_token": "129", "token_index": 30, "original_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len += 1;\n }\n len\n}", "mutant_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 129 {\n x >>= 7;\n len += 1;\n }\n len\n}", "spec_doc": "LEB128 byte length of n", "status": "kept_nonequivalent", "witness": "DIFF [(128,)] orig=2 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-varint_len-007", "kind": "mutant", "function": "varint_len", "operator": "op", "orig_token": ">>=", "new_token": "<<=", "token_index": 36, "original_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len += 1;\n }\n len\n}", "mutant_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x <<= 7;\n len += 1;\n }\n len\n}", "spec_doc": "LEB128 byte length of n", "status": "kept_nonequivalent", "witness": "DIFF [(18446744073709551615,)] orig=10 mutant=11", "translated": true, "translate_error": null}
{"item_id": "mut-varint_len-008", "kind": "mutant", "function": "varint_len", "operator": "const", "orig_token": "7", "new_token": "0", "token_index": 38, "original_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len += 1;\n }\n len\n}", "mutant_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 0;\n len += 1;\n }\n len\n}", "spec_doc": "LEB128 byte length of n", "status": "kept_nonequivalent", "witness": "DIFF [(18446744073709551615,)] orig=10 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-varint_len-009", "kind": "mutant", "function": "varint_len", "operator": "const", "orig_token": "7", "new_token": "6", "token_index": 38, "original_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len += 1;\n }\n len\n}", "mutant_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 6;\n len += 1;\n }\n len\n}", "spec_doc": "LEB128 byte length of n", "status": "kept_nonequivalent", "witness": "DIFF [(18446744073709551615,)] orig=10 mutant=11", "translated": true, "translate_error": null}
{"item_id": "mut-varint_len-010", "kind": "mutant", "function": "varint_len", "operator": "const", "orig_token": "7", "new_token": "8", "token_index": 38, "original_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len += 1;\n }\n len\n}", "mutant_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 8;\n len += 1;\n }\n len\n}", "spec_doc": "LEB128 byte length of n", "status": "kept_nonequivalent", "witness": "DIFF [(18446744073709551615,)] orig=10 mutant=9", "translated": true, "translate_error": null}
{"item_id": "mut-varint_len-011", "kind": "mutant", "function": "varint_len", "operator": "op", "orig_token": "+=", "new_token": "-=", "token_index": 43, "original_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len += 1;\n }\n len\n}", "mutant_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len -= 1;\n }\n len\n}", "spec_doc": "LEB128 byte length of n", "status": "kept_nonequivalent", "witness": "DIFF [(18446744073709551615,)] orig=10 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-varint_len-012", "kind": "mutant", "function": "varint_len", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 45, "original_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len += 1;\n }\n len\n}", "mutant_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len += 0;\n }\n len\n}", "spec_doc": "LEB128 byte length of n", "status": "kept_nonequivalent", "witness": "DIFF [(18446744073709551615,)] orig=10 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-varint_len-013", "kind": "mutant", "function": "varint_len", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 45, "original_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len += 1;\n }\n len\n}", "mutant_source": "pub fn varint_len(n: u64) -> u32 {\n let mut len = 1;\n let mut x = n;\n while x >= 128 {\n x >>= 7;\n len += 2;\n }\n len\n}", "spec_doc": "LEB128 byte length of n", "status": "kept_nonequivalent", "witness": "DIFF [(18446744073709551615,)] orig=10 mutant=19", "translated": true, "translate_error": null}
{"item_id": "mut-zigzag_enc-000", "kind": "mutant", "function": "zigzag_enc", "operator": "op", "orig_token": "<<", "new_token": ">>", "token_index": 6, "original_source": "pub fn zigzag_enc(n: i32) -> u32 {\n ((n << 1) ^ (n >> 31)) as u32\n}", "mutant_source": "pub fn zigzag_enc(n: i32) -> u32 {\n ((n >> 1) ^ (n >> 31)) as u32\n}", "spec_doc": "protobuf zigzag encode", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=2 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-zigzag_enc-001", "kind": "mutant", "function": "zigzag_enc", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 8, "original_source": "pub fn zigzag_enc(n: i32) -> u32 {\n ((n << 1) ^ (n >> 31)) as u32\n}", "mutant_source": "pub fn zigzag_enc(n: i32) -> u32 {\n ((n << 0) ^ (n >> 31)) as u32\n}", "spec_doc": "protobuf zigzag encode", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=2 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-zigzag_enc-002", "kind": "mutant", "function": "zigzag_enc", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 8, "original_source": "pub fn zigzag_enc(n: i32) -> u32 {\n ((n << 1) ^ (n >> 31)) as u32\n}", "mutant_source": "pub fn zigzag_enc(n: i32) -> u32 {\n ((n << 2) ^ (n >> 31)) as u32\n}", "spec_doc": "protobuf zigzag encode", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=2 mutant=4", "translated": true, "translate_error": null}
{"item_id": "mut-zigzag_enc-003", "kind": "mutant", "function": "zigzag_enc", "operator": "op", "orig_token": "^", "new_token": "|", "token_index": 11, "original_source": "pub fn zigzag_enc(n: i32) -> u32 {\n ((n << 1) ^ (n >> 31)) as u32\n}", "mutant_source": "pub fn zigzag_enc(n: i32) -> u32 {\n ((n << 1) | (n >> 31)) as u32\n}", "spec_doc": "protobuf zigzag encode", "status": "kept_nonequivalent", "witness": "DIFF [(-1,)] orig=1 mutant=4294967295", "translated": true, "translate_error": null}
{"item_id": "mut-zigzag_enc-004", "kind": "mutant", "function": "zigzag_enc", "operator": "op", "orig_token": ">>", "new_token": "<<", "token_index": 16, "original_source": "pub fn zigzag_enc(n: i32) -> u32 {\n ((n << 1) ^ (n >> 31)) as u32\n}", "mutant_source": "pub fn zigzag_enc(n: i32) -> u32 {\n ((n << 1) ^ (n << 31)) as u32\n}", "spec_doc": "protobuf zigzag encode", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=2 mutant=2147483650", "translated": true, "translate_error": null}
{"item_id": "mut-zigzag_enc-005", "kind": "mutant", "function": "zigzag_enc", "operator": "const", "orig_token": "31", "new_token": "0", "token_index": 18, "original_source": "pub fn zigzag_enc(n: i32) -> u32 {\n ((n << 1) ^ (n >> 31)) as u32\n}", "mutant_source": "pub fn zigzag_enc(n: i32) -> u32 {\n ((n << 1) ^ (n >> 0)) as u32\n}", "spec_doc": "protobuf zigzag encode", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=2 mutant=3", "translated": true, "translate_error": null}
{"item_id": "mut-zigzag_enc-006", "kind": "mutant", "function": "zigzag_enc", "operator": "const", "orig_token": "31", "new_token": "30", "token_index": 18, "original_source": "pub fn zigzag_enc(n: i32) -> u32 {\n ((n << 1) ^ (n >> 31)) as u32\n}", "mutant_source": "pub fn zigzag_enc(n: i32) -> u32 {\n ((n << 1) ^ (n >> 30)) as u32\n}", "spec_doc": "protobuf zigzag encode", "status": "kept_nonequivalent", "witness": "DIFF [(2147483647,)] orig=4294967294 mutant=4294967295", "translated": true, "translate_error": null}
{"item_id": "mut-bit_reverse8-001", "kind": "mutant", "function": "bit_reverse8", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 32, "original_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "mutant_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 1;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "spec_doc": "reverse bits of a byte", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=128 mutant=64", "translated": true, "translate_error": null}
{"item_id": "mut-bit_reverse8-002", "kind": "mutant", "function": "bit_reverse8", "operator": "op", "orig_token": "<", "new_token": "<=", "token_index": 39, "original_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "mutant_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i <= 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "spec_doc": "reverse bits of a byte", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=128 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-bit_reverse8-003", "kind": "mutant", "function": "bit_reverse8", "operator": "op", "orig_token": "<", "new_token": ">", "token_index": 39, "original_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "mutant_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i > 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "spec_doc": "reverse bits of a byte", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=128 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-bit_reverse8-004", "kind": "mutant", "function": "bit_reverse8", "operator": "const", "orig_token": "8", "new_token": "0", "token_index": 41, "original_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "mutant_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 0 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "spec_doc": "reverse bits of a byte", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=128 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-bit_reverse8-005", "kind": "mutant", "function": "bit_reverse8", "operator": "const", "orig_token": "8", "new_token": "7", "token_index": 41, "original_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "mutant_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 7 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "spec_doc": "reverse bits of a byte", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=128 mutant=64", "translated": true, "translate_error": null}
{"item_id": "mut-bit_reverse8-006", "kind": "mutant", "function": "bit_reverse8", "operator": "const", "orig_token": "8", "new_token": "9", "token_index": 41, "original_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "mutant_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 9 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "spec_doc": "reverse bits of a byte", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=128 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-bit_reverse8-007", "kind": "mutant", "function": "bit_reverse8", "operator": "op", "orig_token": "<<", "new_token": ">>", "token_index": 52, "original_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "mutant_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r >> 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "spec_doc": "reverse bits of a byte", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=128 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-bit_reverse8-008", "kind": "mutant", "function": "bit_reverse8", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 54, "original_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "mutant_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 0) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "spec_doc": "reverse bits of a byte", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=128 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-bit_reverse8-009", "kind": "mutant", "function": "bit_reverse8", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 54, "original_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "mutant_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 2) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "spec_doc": "reverse bits of a byte", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=128 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-bit_reverse8-010", "kind": "mutant", "function": "bit_reverse8", "operator": "op", "orig_token": "|", "new_token": "&", "token_index": 57, "original_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "mutant_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) & (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "spec_doc": "reverse bits of a byte", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=128 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-bit_reverse8-011", "kind": "mutant", "function": "bit_reverse8", "operator": "op", "orig_token": "&", "new_token": "|", "token_index": 62, "original_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "mutant_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x | 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "spec_doc": "reverse bits of a byte", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=0 mutant=255", "translated": true, "translate_error": null}
{"item_id": "mut-bit_reverse8-012", "kind": "mutant", "function": "bit_reverse8", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 64, "original_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "mutant_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 0);\n x >>= 1;\n i += 1;\n }\n r\n}", "spec_doc": "reverse bits of a byte", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=128 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-bit_reverse8-013", "kind": "mutant", "function": "bit_reverse8", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 64, "original_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "mutant_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 2);\n x >>= 1;\n i += 1;\n }\n r\n}", "spec_doc": "reverse bits of a byte", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=128 mutant=0", "translated": true, "translate_error": null}
{"item_id": "mut-bit_reverse8-014", "kind": "mutant", "function": "bit_reverse8", "operator": "op", "orig_token": ">>=", "new_token": "<<=", "token_index": 70, "original_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "mutant_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x <<= 1;\n i += 1;\n }\n r\n}", "spec_doc": "reverse bits of a byte", "status": "kept_nonequivalent", "witness": "DIFF [(255,)] orig=255 mutant=128", "translated": true, "translate_error": null}
{"item_id": "mut-bit_reverse8-015", "kind": "mutant", "function": "bit_reverse8", "operator": "const", "orig_token": "1", "new_token": "0", "token_index": 72, "original_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "mutant_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 0;\n i += 1;\n }\n r\n}", "spec_doc": "reverse bits of a byte", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=128 mutant=255", "translated": true, "translate_error": null}
{"item_id": "mut-bit_reverse8-016", "kind": "mutant", "function": "bit_reverse8", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 72, "original_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "mutant_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 2;\n i += 1;\n }\n r\n}", "spec_doc": "reverse bits of a byte", "status": "kept_nonequivalent", "witness": "DIFF [(255,)] orig=255 mutant=240", "translated": true, "translate_error": null}
{"item_id": "mut-bit_reverse8-017", "kind": "mutant", "function": "bit_reverse8", "operator": "op", "orig_token": "+=", "new_token": "-=", "token_index": 77, "original_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "mutant_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i -= 1;\n }\n r\n}", "spec_doc": "reverse bits of a byte", "status": "kept_nonequivalent", "witness": "DIFF [(0,)] orig=0 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-bit_reverse8-019", "kind": "mutant", "function": "bit_reverse8", "operator": "const", "orig_token": "1", "new_token": "2", "token_index": 79, "original_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 1;\n }\n r\n}", "mutant_source": "pub fn bit_reverse8(b: u8) -> u8 {\n let mut r = 0u8;\n let mut x = b;\n let mut i = 0;\n while i < 8 {\n r = (r << 1) | (x & 1);\n x >>= 1;\n i += 2;\n }\n r\n}", "spec_doc": "reverse bits of a byte", "status": "kept_nonequivalent", "witness": "DIFF [(1,)] orig=128 mutant=8", "translated": true, "translate_error": null}
{"item_id": "mut-lcm_checked-000", "kind": "mutant", "function": "lcm_checked", "operator": "op", "orig_token": "==", "new_token": "!=", "token_index": 6, "original_source": "pub fn lcm_checked(a: u32, b: u32) -> Option<u32> {\n if a == 0 || b == 0 {\n return Some(0);\n }\n let mut x = a;\n let mut y = b;\n while y != 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n (a / x).checked_mul(b)\n}", "mutant_source": "pub fn lcm_checked(a: u32, b: u32) -> Option<u32> {\n if a != 0 || b == 0 {\n return Some(0);\n }\n let mut x = a;\n let mut y = b;\n while y != 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n (a / x).checked_mul(b)\n}", "spec_doc": "lcm, None on overflow, lcm(_,0)=Some(0)", "status": "kept_nonequivalent", "witness": "DIFF [(1, 1)] orig=Some(1) mutant=Some(0)", "translated": true, "translate_error": null}
{"item_id": "mut-lcm_checked-001", "kind": "mutant", "function": "lcm_checked", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 8, "original_source": "pub fn lcm_checked(a: u32, b: u32) -> Option<u32> {\n if a == 0 || b == 0 {\n return Some(0);\n }\n let mut x = a;\n let mut y = b;\n while y != 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n (a / x).checked_mul(b)\n}", "mutant_source": "pub fn lcm_checked(a: u32, b: u32) -> Option<u32> {\n if a == 1 || b == 0 {\n return Some(0);\n }\n let mut x = a;\n let mut y = b;\n while y != 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n (a / x).checked_mul(b)\n}", "spec_doc": "lcm, None on overflow, lcm(_,0)=Some(0)", "status": "kept_nonequivalent", "witness": "DIFF [(1, 1)] orig=Some(1) mutant=Some(0)", "translated": true, "translate_error": null}
{"item_id": "mut-lcm_checked-003", "kind": "mutant", "function": "lcm_checked", "operator": "op", "orig_token": "==", "new_token": "!=", "token_index": 14, "original_source": "pub fn lcm_checked(a: u32, b: u32) -> Option<u32> {\n if a == 0 || b == 0 {\n return Some(0);\n }\n let mut x = a;\n let mut y = b;\n while y != 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n (a / x).checked_mul(b)\n}", "mutant_source": "pub fn lcm_checked(a: u32, b: u32) -> Option<u32> {\n if a == 0 || b != 0 {\n return Some(0);\n }\n let mut x = a;\n let mut y = b;\n while y != 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n (a / x).checked_mul(b)\n}", "spec_doc": "lcm, None on overflow, lcm(_,0)=Some(0)", "status": "kept_nonequivalent", "witness": "DIFF [(1, 1)] orig=Some(1) mutant=Some(0)", "translated": true, "translate_error": null}
{"item_id": "mut-lcm_checked-004", "kind": "mutant", "function": "lcm_checked", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 16, "original_source": "pub fn lcm_checked(a: u32, b: u32) -> Option<u32> {\n if a == 0 || b == 0 {\n return Some(0);\n }\n let mut x = a;\n let mut y = b;\n while y != 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n (a / x).checked_mul(b)\n}", "mutant_source": "pub fn lcm_checked(a: u32, b: u32) -> Option<u32> {\n if a == 0 || b == 1 {\n return Some(0);\n }\n let mut x = a;\n let mut y = b;\n while y != 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n (a / x).checked_mul(b)\n}", "spec_doc": "lcm, None on overflow, lcm(_,0)=Some(0)", "status": "kept_nonequivalent", "witness": "DIFF [(1, 1)] orig=Some(1) mutant=Some(0)", "translated": true, "translate_error": null}
{"item_id": "mut-lcm_checked-005", "kind": "mutant", "function": "lcm_checked", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 24, "original_source": "pub fn lcm_checked(a: u32, b: u32) -> Option<u32> {\n if a == 0 || b == 0 {\n return Some(0);\n }\n let mut x = a;\n let mut y = b;\n while y != 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n (a / x).checked_mul(b)\n}", "mutant_source": "pub fn lcm_checked(a: u32, b: u32) -> Option<u32> {\n if a == 0 || b == 0 {\n return Some(1);\n }\n let mut x = a;\n let mut y = b;\n while y != 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n (a / x).checked_mul(b)\n}", "spec_doc": "lcm, None on overflow, lcm(_,0)=Some(0)", "status": "kept_nonequivalent", "witness": "DIFF [(0, 0)] orig=Some(0) mutant=Some(1)", "translated": true, "translate_error": null}
{"item_id": "mut-lcm_checked-006", "kind": "mutant", "function": "lcm_checked", "operator": "op", "orig_token": "!=", "new_token": "==", "token_index": 56, "original_source": "pub fn lcm_checked(a: u32, b: u32) -> Option<u32> {\n if a == 0 || b == 0 {\n return Some(0);\n }\n let mut x = a;\n let mut y = b;\n while y != 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n (a / x).checked_mul(b)\n}", "mutant_source": "pub fn lcm_checked(a: u32, b: u32) -> Option<u32> {\n if a == 0 || b == 0 {\n return Some(0);\n }\n let mut x = a;\n let mut y = b;\n while y == 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n (a / x).checked_mul(b)\n}", "spec_doc": "lcm, None on overflow, lcm(_,0)=Some(0)", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295, 1)] orig=Some(4294967295) mutant=Some(1)", "translated": true, "translate_error": null}
{"item_id": "mut-lcm_checked-007", "kind": "mutant", "function": "lcm_checked", "operator": "const", "orig_token": "0", "new_token": "1", "token_index": 58, "original_source": "pub fn lcm_checked(a: u32, b: u32) -> Option<u32> {\n if a == 0 || b == 0 {\n return Some(0);\n }\n let mut x = a;\n let mut y = b;\n while y != 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n (a / x).checked_mul(b)\n}", "mutant_source": "pub fn lcm_checked(a: u32, b: u32) -> Option<u32> {\n if a == 0 || b == 0 {\n return Some(0);\n }\n let mut x = a;\n let mut y = b;\n while y != 1 {\n let t = x % y;\n x = y;\n y = t;\n }\n (a / x).checked_mul(b)\n}", "spec_doc": "lcm, None on overflow, lcm(_,0)=Some(0)", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295, 1)] orig=Some(4294967295) mutant=Some(1)", "translated": true, "translate_error": null}
{"item_id": "mut-lcm_checked-009", "kind": "mutant", "function": "lcm_checked", "operator": "op", "orig_token": "/", "new_token": "*", "token_index": 94, "original_source": "pub fn lcm_checked(a: u32, b: u32) -> Option<u32> {\n if a == 0 || b == 0 {\n return Some(0);\n }\n let mut x = a;\n let mut y = b;\n while y != 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n (a / x).checked_mul(b)\n}", "mutant_source": "pub fn lcm_checked(a: u32, b: u32) -> Option<u32> {\n if a == 0 || b == 0 {\n return Some(0);\n }\n let mut x = a;\n let mut y = b;\n while y != 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n (a * x).checked_mul(b)\n}", "spec_doc": "lcm, None on overflow, lcm(_,0)=Some(0)", "status": "kept_nonequivalent", "witness": "DIFF [(4294967295, 4294967295)] orig=Some(4294967295) mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-lcm_checked-010", "kind": "mutant", "function": "lcm_checked", "operator": "checked", "orig_token": "checked_mul", "new_token": "checked_add", "token_index": 99, "original_source": "pub fn lcm_checked(a: u32, b: u32) -> Option<u32> {\n if a == 0 || b == 0 {\n return Some(0);\n }\n let mut x = a;\n let mut y = b;\n while y != 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n (a / x).checked_mul(b)\n}", "mutant_source": "pub fn lcm_checked(a: u32, b: u32) -> Option<u32> {\n if a == 0 || b == 0 {\n return Some(0);\n }\n let mut x = a;\n let mut y = b;\n while y != 0 {\n let t = x % y;\n x = y;\n y = t;\n }\n (a / x).checked_add(b)\n}", "spec_doc": "lcm, None on overflow, lcm(_,0)=Some(0)", "status": "kept_nonequivalent", "witness": "DIFF [(1, 1)] orig=Some(1) mutant=Some(2)", "translated": true, "translate_error": null}
{"item_id": "mut-midpoint_idx-001", "kind": "mutant", "function": "midpoint_idx", "operator": "op", "orig_token": "<=", "new_token": ">=", "token_index": 6, "original_source": "pub fn midpoint_idx(lo: usize, hi: usize) -> usize {\n if hi <= lo { lo } else { lo + (hi - lo) / 2 }\n}", "mutant_source": "pub fn midpoint_idx(lo: usize, hi: usize) -> usize {\n if hi >= lo { lo } else { lo + (hi - lo) / 2 }\n}", "spec_doc": "lo + (hi-lo)/2 for lo<=hi, else lo", "status": "kept_nonequivalent", "witness": "DIFF [(1, 0)] orig=1 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-midpoint_idx-002", "kind": "mutant", "function": "midpoint_idx", "operator": "op", "orig_token": "+", "new_token": "-", "token_index": 22, "original_source": "pub fn midpoint_idx(lo: usize, hi: usize) -> usize {\n if hi <= lo { lo } else { lo + (hi - lo) / 2 }\n}", "mutant_source": "pub fn midpoint_idx(lo: usize, hi: usize) -> usize {\n if hi <= lo { lo } else { lo - (hi - lo) / 2 }\n}", "spec_doc": "lo + (hi-lo)/2 for lo<=hi, else lo", "status": "kept_nonequivalent", "witness": "DIFF [(0, 18446744073709551615)] orig=9223372036854775807 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-midpoint_idx-003", "kind": "mutant", "function": "midpoint_idx", "operator": "op", "orig_token": "-", "new_token": "+", "token_index": 27, "original_source": "pub fn midpoint_idx(lo: usize, hi: usize) -> usize {\n if hi <= lo { lo } else { lo + (hi - lo) / 2 }\n}", "mutant_source": "pub fn midpoint_idx(lo: usize, hi: usize) -> usize {\n if hi <= lo { lo } else { lo + (hi + lo) / 2 }\n}", "spec_doc": "lo + (hi-lo)/2 for lo<=hi, else lo", "status": "kept_nonequivalent", "witness": "DIFF [(1, 18446744073709551615)] orig=9223372036854775808 mutant=PANIC", "translated": true, "translate_error": null}
{"item_id": "mut-midpoint_idx-004", "kind": "mutant", "function": "midpoint_idx", "operator": "op", "orig_token": "/", "new_token": "*", "token_index": 32, "original_source": "pub fn midpoint_idx(lo: usize, hi: usize) -> usize {\n if hi <= lo { lo } else { lo + (hi - lo) / 2 }\n}", "mutant_source": "pub fn midpoint_idx(lo: usize, hi: usize) -> usize {\n if hi <= lo { lo } else { lo + (hi - lo) * 2 }\n}", "spec_doc": "lo + (hi-lo)/2 for lo<=hi, else lo", "status": "kept_nonequivalent", "witness": "DIFF [(0, 1)] orig=0 mutant=2", "translated": true, "translate_error": null}
{"item_id": "mut-midpoint_idx-006", "kind": "mutant", "function": "midpoint_idx", "operator": "const", "orig_token": "2", "new_token": "1", "token_index": 34, "original_source": "pub fn midpoint_idx(lo: usize, hi: usize) -> usize {\n if hi <= lo { lo } else { lo + (hi - lo) / 2 }\n}", "mutant_source": "pub fn midpoint_idx(lo: usize, hi: usize) -> usize {\n if hi <= lo { lo } else { lo + (hi - lo) / 1 }\n}", "spec_doc": "lo + (hi-lo)/2 for lo<=hi, else lo", "status": "kept_nonequivalent", "witness": "DIFF [(0, 1)] orig=0 mutant=1", "translated": true, "translate_error": null}
{"item_id": "mut-midpoint_idx-007", "kind": "mutant", "function": "midpoint_idx", "operator": "const", "orig_token": "2", "new_token": "3", "token_index": 34, "original_source": "pub fn midpoint_idx(lo: usize, hi: usize) -> usize {\n if hi <= lo { lo } else { lo + (hi - lo) / 2 }\n}", "mutant_source": "pub fn midpoint_idx(lo: usize, hi: usize) -> usize {\n if hi <= lo { lo } else { lo + (hi - lo) / 3 }\n}", "spec_doc": "lo + (hi-lo)/2 for lo<=hi, else lo", "status": "kept_nonequivalent", "witness": "DIFF [(0, 18446744073709551615)] orig=9223372036854775807 mutant=6148914691236517205", "translated": true, "translate_error": null}
|