Module test_helpers

Functions

• link_and_run_tasm_for_test
• link_and_run_tasm_for_test_deprecated
• maybe_write_tvm_output_to_disk
  Store the output from Triton VM’s proof function as files, such that a deterministic proof can be used for debugging purposes.
• negative_test
• prepend_program_with_sponge_init
• prepend_program_with_stack_setup
• rust_final_state
• tasm_final_state
• test_assertion_failure
• test_rust_equivalence_given_complete_state
• test_rust_equivalence_given_execution_state
• test_rust_equivalence_given_execution_state_deprecated
• test_rust_equivalence_given_input_values_deprecated
• test_rust_equivalence_multiple_deprecated
• verify_sponge_equivalence
• verify_stack_equivalence
  assert stacks are equal, up to program hash
• verify_stack_growth