Testing, Property Based Testing, Elixir, Streamdata, Generative Testing.
original one. assert oracle_model(term) == new_model(term) 3. Smoke Testing a.k.a Build Verification Testing. The purpose is to ensure the functionality of our method is working. For example, our method should always return :ok or:error, then we can have property testing like this: result =