| {"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} |
|
|
