tla_connect
Model-based testing with Apalache TLA+ model checker for Elixir.
Maintained on Hex by 0kenx
Latest version
0.1.0
Last run
Aug 29, 2026
Checks
4
| Target / check | Status | Firmware size | Run |
|---|---|---|---|
|
host
host
|
pass | — | tla_connect-0.1.0-1787992355709 |
|
nerves_system_mangopi_mq_pro
0.17.1
|
pass | 25851902 | tla_connect-0.1.0-1787992355709 |
|
nerves_system_rpi4
2.1.1
|
pass | 42183672 | tla_connect-0.1.0-1787992355709 |
|
nerves_system_x86_64
1.34.1
|
pass | 29667129 | tla_connect-0.1.0-1787992355709 |
Add this badge to your README
It updates itself as tla_connect's compatibility is reassessed.
Markdown
HTML