I have a bunch of functions designed for navigating a 2d grid: up, down, rowStart, columnEnd, etc. They all have the signature GridWalker a -> Maybe (GridWalker a). Some of the functions are fairly complex and could descend into an infinite loop if not implemented correctly. So I’d like to write a t…

You could do this: fuzz (Fuzz.map2 Tuple.pair fuzzWalker (Fuzz.list fuzzWalkFunc)) "no sequence of walking functions produces an infinite loop" (\( walker, walkFuncs ) -> GridWalker.walk walkFuncs walker |> always Expe…

How to test that a function doesn't infinite loop

Learn

system Closed February 10, 2022, 12:09pm 5

This topic was automatically closed 10 days after the last reply. New replies are no longer allowed.

Topic		Replies	Views
How to write a Fuzzer (List a) for a non-empty List Learn	21	1288	April 23, 2020
Understanding weird infinite type loop { b \| fn : ∞ -> a } Learn	6	818	March 29, 2021
Idea: add statistical labeling to elm-test Request Feedback	22	1902	June 1, 2019
Why does this Parser loop never end? Learn	2	517	February 2, 2023
Elm-minithesis: shrinking without compromises Show and Tell	27	2267	August 9, 2020

How to test that a function doesn't infinite loop

Related topics