Testing, Property Based Testing, Elixir, Streamdata, Generative Testing.
wrong, it will tell us what’s the minimal case to reproduce the error. Knowledge as action To demonstrate property testing, I implemented a simple queue in Elixir. It should give us the same result with Erlang’s build-in queue. By default it will repeat the checking 100 times. In our example it