search

GlideAngle / flare-timing

Scoring for free flight competitions.
Mozilla Public License 2.0
11 stars 2 forks source link

Task points add up with Pg penalties: FAIL #530

Closed philderbeast closed 3 years ago

philderbeast commented 3 years ago 

Task points add up with Pg penalties:                                                   FAIL
        *** Failed! Falsifiable (after 1 test):
        (situation = NoGoalPg, jumps = PenaltySeq {mul = (* id), add = (+ id), reset = (= id)}, penalties = PenaltySeqs {muls = [], adds = [], resets = []}, points = Points {reach = LinearPoints 0.88, effort = DifficultyPoints 0.88, distance = DistancePoints 1.75, leading = LeadingPoints 1.95, arrival = ArrivalPoints 0.89, time = TimePoints 0.00})
        Use --quickcheck-replay=758670 to reproduce.
philderbeast commented 3 years ago 
Task points add up with Pg penalties:                                                   FAIL
        *** Failed! Falsifiable (after 1 test):
        (situation = NoGoalPg, jumps = PenaltySeq {mul = (* id), add = (+ id), reset = (= id)}, penalties = PenaltySeqs {muls = [], adds = [], resets = []}, points = Points {reach = LinearPoints 65.32, effort = DifficultyPoints 65.32, distance = DistancePoints 130.64, leading = LeadingPoints 1.03, arrival = ArrivalPoints 5.29, time = TimePoints 2.24})
        Use --quickcheck-replay=632839 to reproduce.
philderbeast commented 3 years ago 
Task points add up with Pg penalties:                                                   FAIL
        *** Failed! Falsifiable (after 1 test):
        (situation = NoGoalPg, jumps = PenaltySeq {mul = (* id), add = (+ id), reset = (= id)}, penalties = PenaltySeqs {muls = [], adds = [], resets = []}, points = Points {reach = LinearPoints 0.56, effort = DifficultyPoints 0.56, distance = DistancePoints 1.12, leading = LeadingPoints 3.22, arrival = ArrivalPoints 0.94, time = TimePoints 5.81})
        Use --quickcheck-replay=727148 to reproduce.
philderbeast commented 3 years ago

The expected point tally should include time and arrival points now that missed goal validation is turned into a penalty.

> stack test flight-gap-math:math --test-arguments --quickcheck-replay=727148
...
      Task points add up with Pg penalties:                                                   OK (0.08s)
        +++ OK, passed 100 tests.

All 91 tests passed (0.09s)