Skip to content

[Feature] Print number of variables when calling leo runΒ #27934

Description

@vicsn

πŸš€ Feature

It would be great if we would also print the number of internally generated variables:

β€’ 'helloworld.aleo/main' - 33 constraints and X internal variables (called 1 time)

Motivation

Since introducing https://github.com/AleoNet/snarkVM/pull/2444
Its useful for developers to know how many variables their program is generating.

This will also require adjusting the CallMetrics struct.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions