Skip to content

Conversation

edwintorok
Copy link
Contributor

The following environment variables can now be used by tests:

  • QCHECK_LONG_FACTOR (default 10): multiplies the default iteration count of 100
  • QCHECK_SEED: an integer seed (the tests print their current seed on startup otherwise, can be used to reproduce a failure)

These environment variables are already supported by the QCheck framework, we just need to use them.

The following environment variables can now be used by tests:
* QCHECK_LONG_FACTOR (default 10): multiplies the default iteration count of 100
* QCHECK_SEED: an integer seed (the tests print their current seed on startup otherwise, can be used to reproduce a failure)

These environment variables are already supported by the QCheck framework, we just need to use them.

Signed-off-by: Edwin Török <[email protected]>
@edwintorok
Copy link
Contributor Author

The environment variables are implemented by QCheck2.ml, I removed the local override of ~long_factor, because that'd take precedence over the env var (so it'd always be 10 even if we wanted it to be larger).

@edwintorok edwintorok added this pull request to the merge queue Sep 16, 2024
Merged via the queue into xapi-project:master with commit f20d127 Sep 16, 2024
15 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants