Remove tool wrapper for CPAlien. This is just an outdated clone of the wrapper for CPAchecker.
Remove tool wrapper for CPAlien.
This is just an outdated clone of the wrapper for CPAchecker.

IljaZakharov/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,dbeyer/benchexec,IljaZakharov/benchexec,dbeyer/benchexec,sosy-lab/benchexec,dbeyer/benchexec,IljaZakharov/benchexec,martin-neuhaeusser/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,martin-neuhaeusser/benchexec,ultimate-pa/benchexec,IljaZakharov/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,martin-neuhaeusser/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,martin-neuhaeusser/benchexec,dbeyer/benchexec