Four properties exercise haversine_distance / significant_movement?: - non-negativity across any in-range coordinate pair - symmetry: d(a, b) == d(b, a) within a tight tolerance - identity: d(p, p) == 0.0 - significance agrees with (haversine > threshold) for any integer threshold in 1..1000 Total: +4 properties, coverage stays clean (dialyzer: 0 new errors). |
||
|---|---|---|
| .. | ||
| aprsme | ||
| aprsme_web | ||
| assets/js | ||
| integration | ||
| support | ||
| types | ||
| test_helper.exs | ||