nix-super/tests/verify.sh