configure jacoco for code-coverage generation
configure jacoco for code-coverage generation

LearnLib/automatalib,LearnLib/automatalib,misberner/automatalib,LearnLib/automatalib,misberner/automatalib,LearnLib/automatalib