Module execute

Structs

LeoExecute

Build, Prove and Run Leo program with inputs

Functions

check_task_for_warnings 🔒

Check the execution task for warnings. The following properties are checked:

handle_execute 🔒

print_execution_plan 🔒

Pretty-print the execution plan in a readable format.

print_execution_stats 🔒

Pretty‑print execution statistics without a table, using the same UI conventions as print_deployment_plan.