From c5abbed5705eb4fdf88a2ace3175a47568b27322 Mon Sep 17 00:00:00 2001 From: Joshua Trujillo Date: Tue, 14 Jan 2025 17:38:00 +0000 Subject: [PATCH 1/3] breakout fuzz to script --- .github/workflows/test.yml | 7 ++----- .gitignore | 3 ++- scripts/fuzz-test.sh | 19 +++++++++++++++++++ 3 files changed, 23 insertions(+), 6 deletions(-) create mode 100755 scripts/fuzz-test.sh diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 4340c0b..bb20a60 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -73,11 +73,8 @@ jobs: key: x86_64-unknown-linux-gnu cache-on-failure: true - - name: Generate fuzz test programs - run: nargo export - - - name: Run Cargo tests - run: cargo test + - name: Export and Test Noir Functions + run: ./scripts/fuzz-test.sh format: runs-on: ubuntu-latest diff --git a/.gitignore b/.gitignore index 92656f7..4aacd17 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ -/target +target export +gates_report.json diff --git a/scripts/fuzz-test.sh b/scripts/fuzz-test.sh new file mode 100755 index 0000000..4b61217 --- /dev/null +++ b/scripts/fuzz-test.sh @@ -0,0 +1,19 @@ +#!/usr/bin/env bash +set -e + +# dependencies: +# +# - `nargo` +# - `cargo` + +# export noir functions as-is +nargo export + +# run rust prop tests against noir functions +cargo test + +# export noir functions purely in brillig +nargo export --force-brillig + +# run rust prop tests against brillig functions +cargo test From fa4cda293a60a3b3b5120ae40e82db8be96b5706 Mon Sep 17 00:00:00 2001 From: Joshua Trujillo Date: Tue, 14 Jan 2025 17:39:25 +0000 Subject: [PATCH 2/3] nit, ordering --- scripts/fuzz-test.sh | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/scripts/fuzz-test.sh b/scripts/fuzz-test.sh index 4b61217..3e999e9 100755 --- a/scripts/fuzz-test.sh +++ b/scripts/fuzz-test.sh @@ -6,14 +6,14 @@ set -e # - `nargo` # - `cargo` -# export noir functions as-is -nargo export - -# run rust prop tests against noir functions -cargo test - # export noir functions purely in brillig nargo export --force-brillig # run rust prop tests against brillig functions cargo test + +# export noir functions as-is +nargo export + +# run rust prop tests against noir functions +cargo test From 9813acb35d4b026507d3326177f3960dc1aefc3e Mon Sep 17 00:00:00 2001 From: Joshua Trujillo Date: Tue, 14 Jan 2025 20:54:40 +0000 Subject: [PATCH 3/3] master -> main --- .github/workflows/benchmark.yml | 2 +- .github/workflows/release.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml index 61a968e..3e66ce1 100644 --- a/.github/workflows/benchmark.yml +++ b/.github/workflows/benchmark.yml @@ -3,7 +3,7 @@ name: Benchmarks on: push: branches: - - master + - main pull_request: jobs: diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index cc4c323..bd34dfa 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -3,7 +3,7 @@ name: Release on: push: branches: - - master + - main jobs: release-please: