Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

test: Dump simulator RNG seeds #2165

Merged
merged 15 commits into from
Oct 11, 2024
Merged

test: Dump simulator RNG seeds #2165

merged 15 commits into from
Oct 11, 2024
+48 −16

Commits on Oct 10, 2024

  1. test: Dump simulator RNG seeds 

    Into the directory given in the `DUMP_SIMULATION_SEEDS` environment
variable. Also, export them as artifacts from the CI runs.

Fixes mozilla#1645
    @larseggert
    larseggert committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    cbce1e5 View commit details
    Browse the repository at this point in the history

  2. mkdir

    @larseggert
    larseggert committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    d3f261c View commit details
    Browse the repository at this point in the history

  3. Print leading zeros

    @larseggert
    larseggert committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    5b4a80d View commit details
    Browse the repository at this point in the history

  4. TypoPrint leading zeros

    @larseggert
    larseggert committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    fdcd3e1 View commit details
    Browse the repository at this point in the history

  5. Fixes

    @larseggert
    larseggert committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    5743cd0 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'test-dump-seed' of github.com:larseggert/neqo into test… 

    …-dump-seed
    @larseggert
    larseggert committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    d6e2b3b View commit details
    Browse the repository at this point in the history

  7. Conditional

    @larseggert
    larseggert committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    1a3861d View commit details
    Browse the repository at this point in the history

  8. Separate out sanitizer runs

    @larseggert
    larseggert committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    ac657b9 View commit details
    Browse the repository at this point in the history

  9. Per sanitizer

    @larseggert
    larseggert committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    ac38156 View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2024

  1. Update test-fixture/src/sim/rng.rs 

    Co-authored-by: Martin Thomson <[email protected]>
Signed-off-by: Lars Eggert <[email protected]>
    @larseggert @martinthomson
    larseggert and martinthomson authored Oct 11, 2024
    Configuration menu
    Copy the full SHA
    692436d View commit details
    Browse the repository at this point in the history

  2. Update .github/workflows/check.yml 

    Co-authored-by: Martin Thomson <[email protected]>
Signed-off-by: Lars Eggert <[email protected]>
    @larseggert @martinthomson
    larseggert and martinthomson authored Oct 11, 2024
    Configuration menu
    Copy the full SHA
    eee8009 View commit details
    Browse the repository at this point in the history

  3. Update test-fixture/src/sim/mod.rs 

    Co-authored-by: Martin Thomson <[email protected]>
Signed-off-by: Lars Eggert <[email protected]>
    @larseggert @martinthomson
    larseggert and martinthomson authored Oct 11, 2024
    Configuration menu
    Copy the full SHA
    5ff3474 View commit details
    Browse the repository at this point in the history

  4. Prefix seed with test name

    @larseggert
    larseggert committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    9f80872 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into test-dump-seed 

    Signed-off-by: Lars Eggert <[email protected]>
    @larseggert
    larseggert authored Oct 11, 2024
    Configuration menu
    Copy the full SHA
    5fc152a View commit details
    Browse the repository at this point in the history

  6. Merge

    @larseggert
    larseggert committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    ba8e6ce View commit details
    Browse the repository at this point in the history