Commit fef9175a authored by Mart Lubbers's avatar Mart Lubbers

Test edgecases first for DateTime test case generation

parent 935d62fe
Pipeline #31290 passed with stage
in 6 minutes and 35 seconds
......@@ -2,5 +2,5 @@ implementation module iTasks.Extensions.DateTime.Gast
import StdEnv, Gast, iTasks.Extensions.DateTime
ggen{|Time|} _ = [{Time| hour = h, min = m, sec = s} \\ (h,m,s) <- diag3 [0..23] [0..59] [0..59]]
ggen{|Time|} _ = [{Time| hour = h, min = m, sec = s} \\ (h,m,s) <- diag3 [0,23:[1..22]] [0,59:[1..58]] [0,59,60:[1..58]]]
derive genShow Time
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment