Move Implementation to CoveriTeam
Instead of calling the actors (CPAchecker, UAutomizer, Coccinelle) on our own, we use CoveriTeam (https://gitlab.com/sosy-lab/software/coveriteam) for handling actor execution.
We only need to add support for Coccinelle.
-
Add Coccinelle to CoveriTeam -
Remove Verifier class in this project and use CoveriTeam Verifier instead -
Use CoveriTeam as library -
Documentation -
Requirements.txt
Edited by Felix