Github action that publishes the JaCoCo report as a comment in the Pull Request

iet-hf-2023-hietetlen created by GitHub Classroom

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

This is the homework project for the clientside development class.