leo Integration tests for the Leo CLI.

Jun 17 '25 23:06 mikebenfield

Alright this is sort of ready.

These tests are only run on Mac. Not Windows because they use shell scripts, and not Linux because it's hard to install SnarkOS on our Linux docker image.

The test framework will install snarkos if it's not already present. There are only 3 simple tests here at the moment.

Jun 18 '25 22:06 mikebenfield

Thanks!

Yes I think we can port the test-examples.sh over, probably bringing the examples into this repo though.

Some dependency of SnarkOS required libclang and related libraries, which didn't exist or couldn't be found on the Linux docker image.

Jun 20 '25 22:06 mikebenfield

Yes I think we can port the test-examples.sh over, probably bringing the examples into this repo though.

Is there a way to keep the leo-examples in a separate repo? The playground team asked for this to simplify their builds.

Jun 22 '25 19:06 d0cd

This is ready as far as its own code goes, but I'm converting it to draft as it depends on the dev-print feature flag of snarkvm which isn't in a released version yet.

Jul 07 '25 15:07 mikebenfield

This should be ready to go, now that the new snarkvm and snarkos are out.

Jul 23 '25 18:07 mikebenfield

Closing in favor of https://github.com/ProvableHQ/leo/pull/28878

Oct 09 '25 16:10 mohammadfawaz