ACAS folder doesn't exist

[stanleybak]

The README refers to an ACAS folder:

The test on ACAS Xu can be easily ran with pre-written scripts in folder "scripts". Here is an example:

cd ACAS
./scripts/run_property5.sh

But the ACAS folder doesn't exist!