diff --git a/artifact/README b/artifact/README index b1e4b1b91ba8dfdc369b34ff88a8f3911be90258..88e23d89bda1d153147df9b5607b56560a7c9d60 100644 --- a/artifact/README +++ b/artifact/README @@ -102,7 +102,7 @@ To run the code for the artifact four steps are required: The output shown at the command line should resemble this: ************************************************************ - ~$ ./generate_results.sh + ~$ chmod a+x generate_results.sh && ./generate_results.sh ------------------------------------------------ Scenario Theory: