🎨 Hook up hypothesis profiles

Problem:
- Building hypothesis tests on the command line takes too long.
- Building hypothesis tests in CI does not test enough cases.

Solution:
- Use different profiles: 10 iterations on the command line and 500 in CI.

Note:
- The default (with no profile) is 100 iterations.

Author: elbeno

.github/workflows/unit_tests.yml

@@ -16,6 +16,7 @@ env:
   DEFAULT_LLVM_VERSION: 18
   DEFAULT_GCC_VERSION: 13
   MULL_LLVM_VERSION: 17
+  HYPOTHESIS_PROFILE: ci
 
 concurrency:
   group: ${{ github.head_ref || github.run_id }}

test/pbt/conftest.py

@@ -9,7 +9,8 @@
 hypothesis.settings.register_profile("ci", max_examples=500)
 hypothesis.settings.register_profile("fast", max_examples=10)
 
-    
+profile = os.environ.get("HYPOTHESIS_PROFILE", "fast")
+hypothesis.settings.load_profile(profile)
 
 def pytest_addoption(parser):
     parser.addoption("--compiler", action="store", help="C++ compiler", default=None, required=False)