OM.jl coverage of the MSL 3.2.3 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-11, 425 models
frontend
424 · 99.8 %
backend
408 · 96.0 %
simulate
340 · 80.0 %
validate
314 · 73.9 %
Per run
frontendbackendsimulatevalidate
| Date | Models | frontend | backend | simulate | validate | |
|---|---|---|---|---|---|---|
| 2026-10-11 | 425 | 424 (99.8 %) | 408 (96.0 %) | 340 (80.0 %) | 314 (73.9 %) | per model |
| 2026-10-04 | 425 | 423 (99.5 %) | 398 (93.6 %) | 324 (76.2 %) | 299 (70.4 %) | per model |
| 2026-10-03 | 425 | 423 (99.5 %) | 398 (93.6 %) | 325 (76.5 %) | 299 (70.4 %) | per model |
Badge
The share of models that validate in the latest run (badge.json; badges/<phase>.json per phase), for a README:
[](https://openmodelica.github.io/OMLibraryTesting.jl/)