lts_spex
A tool to check the correctness of implementations against specifications. It provides ways to (1) define specifications, (2) derive implementation models, and (3) check these against each other w.r.t. behavioural equivalence.
Maintained on Hex by maxpohlmann
Latest version
0.1.2
Last run
5 days ago
Checks
9
| Target / check | Status | Firmware size | Run |
|---|---|---|---|
|
host
host
View log
|
fail | — | lts_spex-0.1.2-1790981638815 |
|
nerves_system_bbb
2.30.2
View log
|
fail | — | lts_spex-0.1.2-1790981638815 |
|
nerves_system_mangopi_mq_pro
0.17.2
View log
|
fail | — | lts_spex-0.1.2-1790981638815 |
|
nerves_system_qemu_aarch64
0.4.2
View log
|
fail | — | lts_spex-0.1.2-1790981638815 |
|
nerves_system_rpi0
2.1.2
View log
|
fail | — | lts_spex-0.1.2-1790981638815 |
|
nerves_system_rpi4
2.1.2
View log
|
fail | — | lts_spex-0.1.2-1790981638815 |
|
nerves_system_rpi5
2.1.2
View log
|
fail | — | lts_spex-0.1.2-1790981638815 |
|
nerves_system_trellis
0.5.0
View log
|
fail | — | lts_spex-0.1.2-1790981638815 |
|
nerves_system_x86_64
1.34.2
View log
|
fail | — | lts_spex-0.1.2-1790981638815 |
Add this badge to your README
It updates itself as lts_spex's compatibility is reassessed.
Markdown
HTML