Epic: Testing (Noir programs) in IDE

[phated]

Noir Testing

Goals

We want Noir to have great end-to-end testing, including (but not limited to) unit tests, proving/verifying, integration tests. We also want to have common editor workflows in VSCode that people expect to support these features.

We already have some of these in the form of the #[test] attribute, the > Run Test code lens, and Prover.toml but we plan to tighten up the experience with additional initiatives.

Tasks

Beta Give feedback

1. Improve messages for Noir program tests that gets executed after running nargo test #2438
   enhancement good first issue +2
2. Add testing panel vscode-noir#33
   enhancement +1
   
3. Nargo proofs should be specified in the Nargo.toml #2222
   enhancement +1
4. LSP: Custom message to provide test metadata #2442
   enhancement +1
   

[kevaundray]

Modified the title to clarify that we are talking about testing in Noir, ie Noir programs and not testing Noir ie the compiler

[LHerskind]

I think adding

• Add assert message for debugging #1939
• Should panic with specific message #2484

To this tracking issue would be useful.