Did you know ... Search Documentation:
Pack scasp -- test/programs/sasp/left-rec-succ_BAD.pass

The current version of pack scasp does not contain a file test/programs/sasp/left-rec-succ_BAD.pass