Skip to content

Add test parameter for print ast-typed/ast-aggregated

E. Rivas requested to merge er433/print/test-arg into dev

type:internal

For LIGO developers

print ast-typed and print ast-aggregated sub-commands always run on "non-testing mode". This can be inconvenient when trying to debug a program that's using testing primitives, as it will fail to type-check.

This MR adds a new parameter --test to print ast-typed and print ast-aggregated.

Changelog details:

Edited by E. Rivas

Merge request reports