diff --git a/src/data/claims.json b/src/data/claims.json index b873600..7f2ea84 100644 --- a/src/data/claims.json +++ b/src/data/claims.json @@ -4,7 +4,7 @@ "sources": { "flight": { "repo": "mruspace/flight", - "commit": "215547b", + "commit": "bbdad54", "bench": ["2026-10-11-darwin-arm64.json", "2026-10-11-linux-aarch64.json", "2026-10-11-linux-x86_64.json"], "bench_commits": { "darwin-arm64": "7c1a629", "linux-aarch64": "d79b345", "linux-x86_64": "d79b345" }, "kat": "2026-10-11-darwin-arm64-kat.json", @@ -805,13 +805,13 @@ "text": "5" }, "flight.fprime.unit_tests": { - "value": 44, + "value": 45, "format": "int", "unit": "F´ unit tests", "scope": "fprime/Mru components, fprime-util check in CI", - "conditions": "HealthRegistry 5, ReplicaHost 5, FaultInjector 8, RedundancyManager 23, RunRecorder 3", + "conditions": "HealthRegistry 5, ReplicaHost 5, FaultInjector 8, RedundancyManager 23, RunRecorder 4", "source": { "repo": "flight", "kind": "manual", "ref": "docs/fprime-design-fpp.md" }, - "text": "44" + "text": "45" }, "flight.kani.core": { "value": 4, diff --git a/src/pages/concepts/architecture.astro b/src/pages/concepts/architecture.astro index 215bf14..b8a3fee 100644 --- a/src/pages/concepts/architecture.astro +++ b/src/pages/concepts/architecture.astro @@ -105,7 +105,7 @@ const crumbs = [ Deployed, partial - Nine Kani proofs, the scenario checks and 44 F´ unit tests in CI, a known-answer test coverage + Nine Kani proofs, the scenario checks and 45 F´ unit tests in CI, a known-answer test coverage campaign, an F´ system test against the demo, the first F´ deployment (MruOpsSat) run full length in ESA's OPS-SAT experiment environment under emulation,{' '} bench on general-purpose processors, Dusk, and the quorum demo on the SEPP @@ -271,7 +271,7 @@ const crumbs = [