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

prove_squared()

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.

@spec prove_squared() :: {:ok, Noun.t()} | :error

I run the Juvix program "Squared" using the prove function.

@spec prove_squared_small() :: any()

@spec prove_with_cell_hint() :: {:ok, any(), any()}

@spec prove_with_hint() :: {:ok, any(), any()}

@spec prove_with_hints() :: {:ok, Noun.t(), [String.t()]} | :error

@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