pash
pash copied to clipboard
Input missing when running quickcheck.sh
Reproduce:
$PASH_TOP/scripts/quickcheck.sh
Output:
confirms the necessary components for running the artifact
Git commit ID: ebe37942
$PASH_TOP: /home/dkarnikis/pash
pash executable: /home/dkarnikis/pash/pa.sh
Inputs:
ls: cannot access '/home/dkarnikis/pash/evaluation/scripts/input/*': No such file or directory