use adder benchmark not ARM benchmark

diff --git a/coriolis_install b/coriolis_install
index 04e3405837f1064af1790319cb47304e450d8957..ef3ec5576b8503d6bb845de67fa62ac61f514898 100755 (executable)
--- a/coriolis_install
+++ b/coriolis_install
@@ -105,7 +105,7 @@ export CHECK_TOOLKIT=/home/$USER/alliance-check-toolkit
 export YOSYS_TOP=/home/$USER/yosys
 EOG
 source /home/$USER/.bash_profile
-cd alliance-check-toolkit/benchs/ARM/cmos
+cd alliance-check-toolkit/benchs/adder/cmos
 make lvx
 echo -e "
 \e[1;91mSelect File -> Open Cell or press CTRL + o then enter as the cell name 'arm_chip_cts_r' without the single quotation marks.\e[0m