Anoma.Client.Examples.EProve (Anoma v0.35.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() :: Noun.t()

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

@spec prove_squared_small() :: Noun.t()

@spec prove_with_cell_hint() :: Noun.t()

@spec prove_with_hint() :: Noun.t()

@spec prove_with_hints() :: Noun.t()

@spec run_div_by_zero() :: {Noun.t(), [binary()]}

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

This program fails to run.

@spec run_div_by_zero_with_trace() :: {Noun.t(), [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() :: Noun.t()