e2e-testing

Go ★ 1 updated 3y ago ⑂ fork

Formal verification of Elastic-Agent and more using BDD

No plain-English explanation yet — one is being written right now. Check back in a minute.