Testing, Erlang, Elixir, Quickcheck.
types of properties you can write, particularly when you’re not verifying your system behavior against a model. But you should also be wary of adding too many properties since each property takes time to run and you don’t want your suites to run forever… So, what is worth testing with properties? I