diff --git a/wally-pipelined/testgen/privileged/run.sh b/wally-pipelined/testgen/privileged/run.sh index 9d5ca4f4..d010377a 100644 --- a/wally-pipelined/testgen/privileged/run.sh +++ b/wally-pipelined/testgen/privileged/run.sh @@ -1,3 +1,9 @@ +# +# Written 1 Mar 2021 by Domenico Ottolia (dottolia@hmc.edu) +# +# See README.md in this directory for more info +# + clear printf "\n\n#####\nStarting tests for $1\n#####\n\n"