miri: integrate Bazel Miri tests in baselibs_rust

.bazelrc

@@ -54,6 +54,7 @@ build:x86_64-qnx --extra_toolchains=@score_toolchains_rust//toolchains/ferrocene
 build:x86_64-linux --platforms=@score_bazel_platforms//:x86_64-linux-gcc_12.2.0-posix
 build:x86_64-linux --extra_toolchains=@score_gcc_x86_64_toolchain//:x86_64-linux-gcc_12.2.0
 build:x86_64-linux --extra_toolchains=@score_toolchains_rust//toolchains/ferrocene:ferrocene_x86_64_unknown_linux_gnu
+build:x86_64-linux --extra_toolchains=@score_toolchains_rust//toolchains/ferrocene:ferrocene_x86_64_unknown_linux_gnu_miri
 
 # -------------------------------------------------------------------------------
 # Ferrocene Rust coverage config

.github/workflows/tests.yml

@@ -46,3 +46,8 @@ jobs:
         run: |
           echo "Running: bazel test --lockfile_mode=error --config=x86_64-linux //src/..."
           bazel test --lockfile_mode=error --config=x86_64-linux //src/...
+
+      - name: Run Miri Tests via Bazel
+        run: |
+          echo "Running: bazel test --lockfile_mode=error --config=x86_64-linux //:miri_tests --test_output=errors"
+          bazel test --lockfile_mode=error --config=x86_64-linux //:miri_tests --test_output=errors

BUILD

@@ -96,3 +96,21 @@ docs(
     ],
     source_dir = "docs",
 )
+
+
+# Miri test suite
+test_suite(
+    name = "miri_tests",
+    testonly = True,
+    tests = [
+        "//src/containers:tests_miri",
+        "//src/elementary:tests_miri",
+        "//src/log/score_log:tests_miri",
+        "//src/log/score_log_fmt:tests_miri",
+        "//src/log/score_log_fmt_macro:tests_miri",
+        "//src/log/stdout_logger:tests_miri",
+        "//src/pal:tests_miri",
+        "//src/sync:tests_miri",
+        "//src/thread:tests_miri",
+    ],
+)

MODULE.bazel

@@ -15,7 +15,7 @@ module(name = "score_baselibs_rust")
 # Bazel global rules
 bazel_dep(name = "rules_python", version = "1.4.1")
 bazel_dep(name = "bazel_skylib", version = "1.7.1")
-bazel_dep(name = "rules_rust", version = "0.68.1-score")
+bazel_dep(name = "rules_rust", version = "0.68.2-score")
 bazel_dep(name = "rules_cc", version = "0.1.1")
 bazel_dep(name = "aspect_rules_lint", version = "2.0.0")
 bazel_dep(name = "buildifier_prebuilt", version = "7.3.1")
@@ -33,7 +33,7 @@ bazel_dep(name = "score_platform", version = "0.5.5")  # This is main score repo
 
 # Toolchains and extensions
 bazel_dep(name = "score_bazel_cpp_toolchains", version = "0.5.1", dev_dependency = True)
-bazel_dep(name = "score_toolchains_rust", version = "0.8.0", dev_dependency = True)
+bazel_dep(name = "score_toolchains_rust", version = "0.9.1", dev_dependency = True)
 
 # S-CORE crates
 bazel_dep(name = "score_crates", version = "0.0.6")

src/containers/BUILD

@@ -11,7 +11,7 @@
 # SPDX-License-Identifier: Apache-2.0
 # *******************************************************************************
 
-load("@rules_rust//rust:defs.bzl", "rust_library", "rust_test")
+load("@rules_rust//rust:defs.bzl", "miri_test", "rust_library", "rust_test")
 
 rust_library(
     name = "containers",
@@ -32,3 +32,10 @@ rust_test(
         "ut",
     ],
 )
+
+miri_test(
+    name = "tests_miri",
+    crate = ":tests",
+    tags = ["manual"],
+    visibility = ["//visibility:public"],
+)

src/elementary/BUILD

@@ -11,7 +11,7 @@
 # SPDX-License-Identifier: Apache-2.0
 # *******************************************************************************
 
-load("@rules_rust//rust:defs.bzl", "rust_library", "rust_test")
+load("@rules_rust//rust:defs.bzl", "miri_test", "rust_library", "rust_test")
 
 rust_library(
     name = "elementary",
@@ -28,3 +28,10 @@ rust_test(
         "ut",
     ],
 )
+
+miri_test(
+    name = "tests_miri",
+    crate = ":tests",
+    tags = ["manual"],
+    visibility = ["//visibility:public"],
+)

src/log/score_log/BUILD

@@ -10,7 +10,7 @@
 #
 # SPDX-License-Identifier: Apache-2.0
 # *******************************************************************************
-load("@rules_rust//rust:defs.bzl", "rust_library", "rust_test")
+load("@rules_rust//rust:defs.bzl", "miri_test", "rust_library", "rust_test")
 
 rust_library(
     name = "score_log",
@@ -32,3 +32,10 @@ rust_test(
         "ut",
     ],
 )
+
+miri_test(
+    name = "tests_miri",
+    crate = ":tests",
+    tags = ["manual"],
+    visibility = ["//visibility:public"],
+)

src/log/score_log_fmt/BUILD

@@ -10,7 +10,7 @@
 #
 # SPDX-License-Identifier: Apache-2.0
 # *******************************************************************************
-load("@rules_rust//rust:defs.bzl", "rust_library", "rust_test")
+load("@rules_rust//rust:defs.bzl", "miri_test", "rust_library", "rust_test")
 
 rust_library(
     name = "score_log_fmt",
@@ -33,3 +33,10 @@ rust_test(
         "ut",
     ],
 )
+
+miri_test(
+    name = "tests_miri",
+    crate = ":tests",
+    tags = ["manual"],
+    visibility = ["//visibility:public"],
+)

src/log/score_log_fmt_macro/BUILD

@@ -10,7 +10,7 @@
 #
 # SPDX-License-Identifier: Apache-2.0
 # *******************************************************************************
-load("@rules_rust//rust:defs.bzl", "rust_proc_macro", "rust_test")
+load("@rules_rust//rust:defs.bzl", "miri_test", "rust_proc_macro", "rust_test")
 
 rust_proc_macro(
     name = "score_log_fmt_macro",
@@ -39,3 +39,10 @@ rust_test(
         "//src/log/score_log_fmt",
     ],
 )
+
+miri_test(
+    name = "tests_miri",
+    crate = ":tests",
+    tags = ["manual"],
+    visibility = ["//visibility:public"],
+)

src/log/stdout_logger/BUILD

@@ -16,7 +16,7 @@
 For production use `score_logging`.
 """
 
-load("@rules_rust//rust:defs.bzl", "rust_library", "rust_test")
+load("@rules_rust//rust:defs.bzl", "miri_test", "rust_library", "rust_test")
 
 rust_library(
     name = "stdout_logger",
@@ -35,3 +35,10 @@ rust_test(
         "ut",
     ],
 )
+
+miri_test(
+    name = "tests_miri",
+    crate = ":tests",
+    tags = ["manual"],
+    visibility = ["//visibility:public"],
+)

src/pal/BUILD

@@ -11,7 +11,7 @@
 # SPDX-License-Identifier: Apache-2.0
 # *******************************************************************************
 
-load("@rules_rust//rust:defs.bzl", "rust_library", "rust_test")
+load("@rules_rust//rust:defs.bzl", "miri_test", "rust_library", "rust_test")
 
 rust_library(
     name = "pal",
@@ -33,3 +33,10 @@ rust_test(
         "ut",
     ],
 )
+
+miri_test(
+    name = "tests_miri",
+    crate = ":tests",
+    tags = ["manual"],
+    visibility = ["//visibility:public"],
+)

src/sync/BUILD

@@ -11,7 +11,7 @@
 # SPDX-License-Identifier: Apache-2.0
 # *******************************************************************************
 
-load("@rules_rust//rust:defs.bzl", "rust_library", "rust_test")
+load("@rules_rust//rust:defs.bzl", "miri_test", "rust_library", "rust_test")
 
 rust_library(
     name = "sync",
@@ -31,3 +31,10 @@ rust_test(
         "ut",
     ],
 )
+
+miri_test(
+    name = "tests_miri",
+    crate = ":tests",
+    tags = ["manual"],
+    visibility = ["//visibility:public"],
+)

src/thread/BUILD

@@ -11,7 +11,7 @@
 # SPDX-License-Identifier: Apache-2.0
 # *******************************************************************************
 
-load("@rules_rust//rust:defs.bzl", "rust_library", "rust_test")
+load("@rules_rust//rust:defs.bzl", "miri_test", "rust_library", "rust_test")
 
 rust_library(
     name = "thread",
@@ -32,3 +32,10 @@ rust_test(
         "ut",
     ],
 )
+
+miri_test(
+    name = "tests_miri",
+    crate = ":tests",
+    tags = ["manual"],
+    visibility = ["//visibility:public"],
+)