From 088c29b5a6d763820b45c7262f9f5bb09f787663 Mon Sep 17 00:00:00 2001 From: knoal Date: Thu, 30 Apr 2026 20:34:08 -0700 Subject: [PATCH] ci(nightly): upscale QuickCheck tests in nightly test suite (closes #6322) Mirror the existing HEDGEHOG_TESTS upscaling for QuickCheck so nightly property runs also exercise QuickCheck-based generators with a larger sample count and size parameter. * Add QUICKCHECK_TESTS / QUICKCHECK_MAX_SIZE env vars (defaults 100000 / 500), plus matching workflow_dispatch inputs. * Pass --quickcheck-tests / --quickcheck-max-size to every test invocation that already passes --hedgehog-tests. These flags are recognised by tasty-quickcheck and only take effect in the nightly run. --- .github/workflows/nightly-testsuite.yml | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) diff --git a/.github/workflows/nightly-testsuite.yml b/.github/workflows/nightly-testsuite.yml index 69e747172f8..a0a79817255 100644 --- a/.github/workflows/nightly-testsuite.yml +++ b/.github/workflows/nightly-testsuite.yml @@ -16,8 +16,19 @@ on: required: false default: "100000" + quickcheck-tests: + description: 'Number of QuickCheck tests to run per property' + required: false + default: '100000' + quickcheck-max-size: + description: 'Max QuickCheck size parameter' + required: false + default: '500' + env: HEDGEHOG_TESTS: ${{ github.event.inputs.hedgehog-tests || 100000 }} + QUICKCHECK_TESTS: ${{ github.event.inputs.quickcheck-tests || 100000 }} + QUICKCHECK_MAX_SIZE: ${{ github.event.inputs.quickcheck-max-size || 500 }} jobs: run: @@ -32,11 +43,11 @@ jobs: - name: Run Plutus Core Test run: | pushd plutus-core - nix run --no-warn-dirty --accept-flake-config .#plutus-core-test -- --hedgehog-tests $HEDGEHOG_TESTS --no-create + nix run --no-warn-dirty --accept-flake-config .#plutus-core-test -- --hedgehog-tests $HEDGEHOG_TESTS --quickcheck-tests $QUICKCHECK_TESTS --quickcheck-max-size $QUICKCHECK_MAX_SIZE --no-create popd - name: Run Plutus IR Test run: | pushd plutus-core - nix run --no-warn-dirty --accept-flake-config .#plutus-ir-test -- --hedgehog-tests $HEDGEHOG_TESTS --no-create + nix run --no-warn-dirty --accept-flake-config .#plutus-ir-test -- --hedgehog-tests $HEDGEHOG_TESTS --quickcheck-tests $QUICKCHECK_TESTS --quickcheck-max-size $QUICKCHECK_MAX_SIZE --no-create popd