DR-008 Option 4: two-stage test-execution workflow (PR 2 of 2) #280
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,42 @@ | ||
| # ******************************************************************************* | ||
| # Copyright (c) 2026 Contributors to the Eclipse Foundation | ||
| # | ||
| # See the NOTICE file(s) distributed with this work for additional | ||
| # information regarding copyright ownership. | ||
| # | ||
| # This program and the accompanying materials are made available under the | ||
| # terms of the Apache License Version 2.0 which is available at | ||
| # https://www.apache.org/licenses/LICENSE-2.0 | ||
| # | ||
| # SPDX-License-Identifier: Apache-2.0 | ||
| # ******************************************************************************* | ||
| # | ||
| # Deliberate ceilings for the deps Stage 2 collects test artifacts from. | ||
| # | ||
| # ref_int's resolved set is imposed on every module under test whether a dependency is named here or | ||
| # not; this file does not decide *which* deps get pinned. It decides which of those pins are a | ||
| # decision rather than an inheritance. `bazel_dep(version = ...)` is only a floor that MVS raises | ||
| # silently, while `single_version_override` is also a ceiling, so the versions below are ones Stage 1 | ||
| # reports as `asserted` rather than `incidental`. | ||
| # | ||
| # Every version here equals what MVS resolves today, so this changes no build now -- only what | ||
| # happens the day something in the graph asks for more. | ||
|
|
||
| # C++ test binaries and the coverage .dat files genhtml reads. | ||
| single_version_override( | ||
| module_name = "googletest", | ||
| version = "1.17.0.bcr.2", | ||
| ) | ||
|
|
||
| # Rust test rules that build the .profraw-emitting binaries. | ||
| single_version_override( | ||
| module_name = "rules_rust", | ||
| version = "0.68.2-score", | ||
| ) | ||
|
|
||
| # Ferrocene coverage tooling behind those .profraw files. Must move in the same commit as the | ||
| # bazel_dep in score_rust_toolchains.MODULE.bazel, or the bump is overruled back to this value. | ||
| single_version_override( | ||
| module_name = "score_toolchains_rust", | ||
| version = "0.9.1", | ||
| ) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,87 @@ | ||
| # ******************************************************************************* | ||
| # Copyright (c) 2026 Contributors to the Eclipse Foundation | ||
| # | ||
| # See the NOTICE file(s) distributed with this work for additional | ||
| # information regarding copyright ownership. | ||
| # | ||
| # This program and the accompanying materials are made available under the | ||
| # terms of the Apache License Version 2.0 which is available at | ||
| # https://www.apache.org/licenses/LICENSE-2.0 | ||
| # | ||
| # SPDX-License-Identifier: Apache-2.0 | ||
| # ******************************************************************************* | ||
| # | ||
| # DR-008 Stage 2 configuration, owned by reference_integration. Layered ON TOP of the | ||
| # module's own .bazelrc via --bazelrc, so ref_int defines the configs it names in | ||
| # known_good.json instead of dangling a name whose meaning lives downstream. | ||
| # | ||
| # Read last, so single-valued flags here win; --extra_toolchains and other accumulating | ||
| # flags add to what the module already registers. Do NOT add --noworkspace_rc: it was tried and | ||
| # reverted because it discarded module settings unrelated to the configs ref_int names (stub | ||
| # trace-library selection, sandbox settings, module-owned libclang/cc toolchains, Rust coverage | ||
| # instrumentation, clippy aspects), leaving modules configured silently wrong instead of failing. | ||
| # The "3 of 8 modules" figure behind that reversal is a single earlier observation, not re-measured. | ||
|
|
||
| # rules_android is pulled in transitively (grpc-java -> rules_jvm_external) and evaluates | ||
| # android_sdk_repository, which fails when ANDROID_HOME points at an incomplete SDK, as on | ||
| # CI runners after the disk-cleanup step. Only score_baselibs guards against this itself. | ||
| common --repo_env=ANDROID_HOME= | ||
|
|
||
| # ─── stage2-linux-x86_64: emitted unconditionally by quality_runners.py ────── | ||
| build:stage2-linux-x86_64 --host_platform=@score_bazel_platforms//:x86_64-linux-gcc_12.2.0-posix | ||
| build:stage2-linux-x86_64 --platforms=@score_bazel_platforms//:x86_64-linux-gcc_12.2.0-posix | ||
|
|
||
| # Test selection and coverage policy. `coverage` inherits `test` inherits `build`. | ||
| # -miri: ref_int registers no miri toolchain. -no-coverage: gcov-instrumenting a TSAN | ||
| # binary reports false races on the non-atomic __gcov* counters. | ||
| test:stage2-linux-x86_64 --build_tests_only | ||
| test:stage2-linux-x86_64 --test_tag_filters=-manual,-miri,-no-coverage | ||
| test:stage2-linux-x86_64 --test_output=errors | ||
| test:stage2-linux-x86_64 --test_summary=testcase | ||
| test:stage2-linux-x86_64 --test_verbose_timeout_warnings | ||
| test:stage2-linux-x86_64 --test_timeout=1200 | ||
| test:stage2-linux-x86_64 --nocache_test_results | ||
|
|
||
| coverage:stage2-linux-x86_64 --features=coverage | ||
| coverage:stage2-linux-x86_64 --combined_report=lcov | ||
| # Make gcov counter updates atomic so a multithreaded coverage test is race-free. | ||
| coverage:stage2-linux-x86_64 --copt=-fprofile-update=atomic | ||
| coverage:stage2-linux-x86_64 --linkopt=-fprofile-update=atomic | ||
|
|
||
| # ─── stage2-gcc: score's gcc x86_64 toolchain ──────────────────────────────── | ||
| # Opt-in because the target name is generated by each module's own gcc.toolchain() call: | ||
| # score_communication passes use_base_constraints_only = True, which yields :x86_64-linux | ||
| # instead, and it registers its own cc toolchain unconditionally — so it omits this. | ||
| build:stage2-gcc --extra_toolchains=@score_gcc_x86_64_toolchain//:x86_64-linux-gcc_12.2.0 | ||
|
|
||
| # ─── stage2-rust: ferrocene Rust toolchain ─────────────────────────────────── | ||
| # Opt-in because score_time declares no score_toolchains_rust, so the apparent repo name | ||
| # does not resolve in its graph. Folds into the base once Phase 1 injects a bazel_dep stub | ||
| # for every module in the resolved set (PR #278). | ||
| build:stage2-rust --extra_toolchains=@score_toolchains_rust//toolchains/ferrocene:ferrocene_x86_64_unknown_linux_gnu | ||
|
|
||
| # ─── ferrocene-coverage: Rust coverage instrumentation ─────────────────────── | ||
| # Added in code by stage2_config_flags, never opted into via known_good.json: rustc must emit | ||
| # .profraw during the same run ferrocene_report later reads. kyron/persistency/lifecycle_health | ||
| # define this name identically themselves (layering repeats the same values, a no-op); | ||
| # score_logging has no Rust instrumentation config, so this is its only source. | ||
| build:ferrocene-coverage --@rules_rust//rust/settings:extra_rustc_flag=-Cinstrument-coverage | ||
| build:ferrocene-coverage --@rules_rust//rust/settings:extra_rustc_flag=-Clink-dead-code | ||
| build:ferrocene-coverage --@rules_rust//rust/settings:extra_rustc_flag=-Ccodegen-units=1 | ||
| build:ferrocene-coverage --@rules_rust//rust/settings:extra_rustc_flag=-Cdebuginfo=2 | ||
| build:ferrocene-coverage --@rules_rust//rust/settings:extra_exec_rustc_flag=-Cinstrument-coverage | ||
| build:ferrocene-coverage --@rules_rust//rust/settings:extra_exec_rustc_flag=-Clink-dead-code | ||
| build:ferrocene-coverage --@rules_rust//rust/settings:extra_exec_rustc_flag=-Ccodegen-units=1 | ||
| build:ferrocene-coverage --@rules_rust//rust/settings:extra_exec_rustc_flag=-Cdebuginfo=2 | ||
| test:ferrocene-coverage --run_under=@score_tooling//coverage:llvm_profile_wrapper | ||
|
|
||
| # Coverage needs to have all intermediate .rlibs to be able to proceed | ||
| build:ferrocene-coverage --remote_download_all | ||
|
|
||
| # score_persistency's rust_coverage_config; its own .bazelrc does not define this name, so this | ||
| # is the sole source. Only the two score_baselibs settings are ported -- deps persistency itself | ||
| # declares, so they resolve in its checkout. ref_int's root .bazelrc has a third, | ||
| # @score_logging-relative one, which persistency's `extra_test_config` already passes directly. | ||
| build:ferrocene-coverage-per --config=ferrocene-coverage | ||
| build:ferrocene-coverage-per --@score_baselibs//src/log:safety_level=qm | ||
| build:ferrocene-coverage-per --@score_baselibs//score/json:base_library=nlohmann |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
where is this file generated from? All modules should be from known_good
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
not generated — known_good.json pins first-party repos by commit, these are registry deps pinned by version (confirmed via bazel mod graph --verbose: 2 of the 3 pins do move MVS's selection)