GitHub repository: mdelapenya/metricbeat-tests-poc
Primary language: Go
Description: Formal verification of Metricbeat module using BDD