search

noir-lang / noir

Noir is a domain specific language for zero knowledge proofs
https://noir-lang.org
Apache License 2.0
875 stars 189 forks source link

Epic: Testing (Noir programs) in IDE #2441

Open phated opened 1 year ago

phated commented 1 year ago

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
- [ ] https://github.com/noir-lang/noir/issues/2438
- [ ] https://github.com/noir-lang/vscode-noir/issues/33
- [ ] https://github.com/noir-lang/noir/issues/2222
- [ ] https://github.com/noir-lang/noir/issues/2442
kevaundray commented 1 year ago

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

LHerskind commented 1 year ago

I think adding

To this tracking issue would be useful.