Explore projects

Es handelt sich hierbei um ein Python Script, dass die einzelnen C-Programme auf dem CPAchecker ausführt und somit testet ob die einzelnen C-Programme Fehler beinhalten usw.