bd4e6f5b

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Drop unused QuickCheck + genvalidity-sydtest-aeson deps; rename shadowing

CI flagged two issues:
  - nix-build's -Werror=name-shadowing tripped on 'name' and 'str'
    locals shadowing OptEnvConf re-exports.  Rename to 'pname' and 'input'.
  - nix-build's -Werror=unused-packages tripped on QuickCheck (the only
    user was the Gen module's listOf+suchThat string generator, which
    went away with the JSON config) and genvalidity-sydtest-aeson (its
    sole user was the deleted jsonSpec on MutationDriverConfig).

Dependencies Timing

Agent Instructions

Each run corresponds to one flake attribute. Click a run for its logs and status.

Example: https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/bd4e6f5ba89397d3435281ac77574d3b3b0cb729/4ae16571-6c09-45e8-9f34-2f9bed2407d4

Wait for suite to complete:

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/bd4e6f5ba89397d3435281ac77574d3b3b0cb729/wait

For more instructions, fetch https://staging.nix-ci.com/instructions .