OM.jl coverage of the MSL 4.1.0 examples

Each experiment model goes through OM.jl's pipeline: flatten (frontend), translate (backend), simulate, and validate against the reference trajectories. Measured by OMLibraryTesting.jl.

Latest: 2026-10-13, 534 models

frontend
533 · 99.8 %
backend
437 · 81.8 %
simulate
373 · 69.9 %
validate
343 · 64.2 %

Per run

0% 25% 50% 75% 100% 2026-10-12 2026-10-13 2026-10-12 frontend 533/534 2026-10-13 frontend 533/534 2026-10-12 backend 436/534 2026-10-13 backend 437/534 2026-10-12 simulate 371/534 2026-10-13 simulate 373/534 2026-10-12 validate 341/534 2026-10-13 validate 343/534
frontendbackendsimulatevalidate
DateModelsfrontendbackendsimulatevalidate
2026-10-13534533 (99.8 %)437 (81.8 %)373 (69.9 %)343 (64.2 %)per model
2026-10-12534533 (99.8 %)436 (81.6 %)371 (69.5 %)341 (63.9 %)per model

Badge

The share of models that validate in the latest run (badge.json; badges/<phase>.json per phase), for a README:

[![Coverage](https://img.shields.io/endpoint?url=https://openmodelica.github.io/OMLibraryTesting.jl/msl-4.1.0/badge.json)](https://openmodelica.github.io/OMLibraryTesting.jl/msl-4.1.0/)