Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add support for testing fail in Testing Panel #44

Open
Savio-Sou opened this issue Oct 16, 2023 · 0 comments
Open

Add support for testing fail in Testing Panel #44

Savio-Sou opened this issue Oct 16, 2023 · 0 comments
Labels
enhancement New feature or request

Comments

@Savio-Sou
Copy link
Contributor

Problem

Subsequent to the addition of Testing Panel per #39, devs can now run positive-tests (i.e. #[test]) in the Panel.

But the Panel doesn't support running negative-tests (i.e. #[test(should_fail)]) which devs can already run with Nargo and might expect it to also be runnable in the Panel.

Happy Case

Devs can successfully run both tests below from the Testing Panel:

fn main(x : Field, y : pub Field) {
    assert(x != y);
}

#[test]
fn positive_test() {
    main(1, 2);
}

#[test(should_fail)]
fn negative_test() {
    main(1, 1);
}

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

@Savio-Sou Savio-Sou added the enhancement New feature or request label Oct 16, 2023
@Savio-Sou Savio-Sou added this to Noir Oct 16, 2023
@github-project-automation github-project-automation bot moved this to 📋 Backlog in Noir Oct 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Status: 📋 Backlog
Development

No branches or pull requests

1 participant