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