The current version of pack scasp does not contain a file ATTIC/test_forall/output-test05-ok.txt
scasp
ATTIC/test_forall/output-test05-ok.txt