graham/aprs.me
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

format

Browse source
This commit is contained in:
Graham McIntire 2026-02-18 14:49:58 -06:00
parent 9b1fa3ce50
commit ea54d0208b
No known key found for this signature in database
1 changed files with 8 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
test/types/mic_e_test.exs
View file

@ -83,12 +83,14 @@ defmodule Aprs.Types.MicETest do
end end
property "fetch/2 for latitude/longitude returns correct sign for direction" do property "fetch/2 for latitude/longitude returns correct sign for direction" do
check all deg <- StreamData.integer(0..90), check all(
min <- StreamData.integer(0..59), deg <- StreamData.integer(0..90),
lat_dir <- StreamData.member_of([:north, :south]), min <- StreamData.integer(0..59),
lon_dir <- StreamData.member_of([:east, :west]), lat_dir <- StreamData.member_of([:north, :south]),
lon_deg <- StreamData.integer(0..180), lon_dir <- StreamData.member_of([:east, :west]),
lon_min <- StreamData.integer(0..59) do lon_deg <- StreamData.integer(0..180),
lon_min <- StreamData.integer(0..59)
) do
mic_e = %MicE{ mic_e = %MicE{
lat_degrees: abs(deg), lat_degrees: abs(deg),
lat_minutes: abs(min), lat_minutes: abs(min),