Removed the Nix magic that doesn't work and hardcoded the limit within code

Author: bladyjoker

lambda-buffers-compiler/build.nix

@@ -9,7 +9,6 @@
 }:
 let
   inherit pkgs;
-  tests = 10000;
   project = {
     src = ./.;
 
@@ -29,12 +28,6 @@ let
 
           # Enable strict compilation
           lambda-buffers-compiler.configureFlags = [ "-f-dev" ];
-
-          # Set the number of QuickCheck and Hedgehog tests
-          lambda-buffers-compiler.components.tests.lambda-buffers-compiler-tests.configureFlags = [
-            "--hedgehog-tests=${tests}"
-            "--quickcheck-tests=${tests}"
-          ];
         };
       })
     ];

lambda-buffers-compiler/test/Test/LambdaBuffers/Compiler.hs

@@ -10,17 +10,19 @@ import Proto.Compiler_Fields (compilerResult)
 import Test.LambdaBuffers.Compiler.Coverage (coverage)
 import Test.LambdaBuffers.Compiler.Mutation qualified as Mut
 import Test.LambdaBuffers.Compiler.WellFormed (genCompilerInput)
-import Test.Tasty (TestTree, testGroup)
+import Test.Tasty (TestTree, adjustOption, testGroup)
 import Test.Tasty.HUnit (HasCallStack)
 import Test.Tasty.Hedgehog (testProperty)
+import Test.Tasty.Hedgehog qualified as H
 
 test :: TestTree
 test =
-  testGroup
-    "Compiler API tests"
-    [ allWellFormedCompInpCompile
-    , allWellFormedCompInpCompileAfterBenignMut
-    ]
+  adjustOption (\_ -> H.HedgehogTestLimit $ Just 10_000) $
+    testGroup
+      "Compiler API tests"
+      [ allWellFormedCompInpCompile
+      , allWellFormedCompInpCompileAfterBenignMut
+      ]
 
 compilationOk :: H.MonadTest m => CompilerOutput -> m ()
 compilationOk compOut = compOut H.=== (defMessage & compilerResult .~ defMessage)