| { | |
| "item_id": "smoke-tiny", | |
| "crate_dir": "../../smoke/tiny", | |
| "lib_name": "tiny", | |
| "properties": [ | |
| {"id": "avg_buggy_floor_mean", "fn": "avg_buggy", "args": [["a","u32"],["b","u32"]], "pre": "true", | |
| "post": "r as u64 == (a as u64 + b as u64) / 2", "ret": "u32"}, | |
| {"id": "abs_diff_sym", "fn": "abs_diff", "args": [["a","u32"],["b","u32"]], "pre": "true", | |
| "post": "r as i64 == (a as i64 - b as i64).abs()", "ret": "u32"}, | |
| {"id": "gcd_divides", "fn": "gcd", "args": [["a","u32"],["b","u32"]], "pre": "a != 0 && b != 0", | |
| "post": "r != 0 && a % r == 0 && b % r == 0", "ret": "u32"} | |
| ] | |
| } | |