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

prove_squared()

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

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

prove_squared_small()

@spec prove_squared_small() :: any()

prove_with_cell_hint()

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

prove_with_hint()

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

prove_with_hints()

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

run_div_by_zero()

@spec run_div_by_zero() :: {:ok, :error, []}

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

This program fails to run.

run_div_by_zero_with_trace()

@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.

squared_without_arguments()

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