add testing script

.travis.yml

@@ -26,10 +26,9 @@ install:
   - git submodule update --init
   - ln -s cabal.project.dist cabal.project
   - cabal v2-configure
-  - ./deps/dismantle/scripts/minify-asl.sh
 
 script:
-  - cabal v2-build --only-dependencies macaw-asl
+  - ./scripts/tests.sh
 
 notifications:
   email: false

scripts/tests.sh

@@ -0,0 +1,8 @@
+#!/bin/bash
+
+./submodules/dismantle/scripts/minify-asl.sh
+cd ./submodules/asl-translator/
+make genarm
+cd ../../
+
+cabal v2-build --only-dependencies macaw-asl