github.com/elastic/e2e-testing (go): Formal verification of Elastic-Agent and more using BDD
Keywords: bdd|cucumber|godog|golang|poc