Data generation and property testing for Elixir | Heykuki News