Revert a313e19b5f0d6c4c638cd1548aba3423b6ca62b4 that did not fix the test
Revert a313e19b5f0d6c4c638cd1548aba3423b6ca62b4 that did not fix the test

Skip the test now completely, because it tests only deprecated functionality.

sosy-lab/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,dbeyer/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec