Anoma.Client.Examples.EProve (Anoma v0.34.0)
I contain functions that test and showcase the Runer module.
I test and run nock programs and verify their outputs.
Summary
Functions
I run the Juvix program "Squared" using the prove function.
I run the Juvix program "DivByZero" using the prove function.
I run the Juvix program "DivByZero" using the prove function.
Functions
@spec prove_squared() :: {:ok, Noun.t()} | :error
I run the Juvix program "Squared" using the prove function.
@spec prove_squared_small() :: any()
@spec run_div_by_zero() :: {:ok, :error, []}
I run the Juvix program "DivByZero" using the prove function.
This program fails to run.
@spec run_div_by_zero_with_trace() :: {:ok, :error, [binary()]}
I run the Juvix program "DivByZero" using the prove function.
This program returns traces before failing and these traces should be returned.
@spec squared_without_arguments() :: {:ok, Noun.t()} | :error