fixing path, aplas variables

bchurchill · Apr 18, 2019 · d4e540b · d4e540b
1 parent 3311743
commit d4e540b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -6,7 +6,7 @@ services:
 
 script: 
   - docker build -t eqc .
-  - docker run eqc su -c /home/equivalence/equivalence-checker/scripts/travis/buildtest.sh" equivalence
+  - docker run eqc su -c /home/equivalence/equivalence-checker/scripts/travis/buildtest.sh equivalence
   - IMAGENAME="bchurchill/pldi19:$TRAVIS_BUILD_ID"
   - if [ "$TRAVIS_BRANCH" = "master" ]; then IMAGENAME="bchurchill/pldi19:latest"; fi
   - if [ "$TRAVIS_PULL_REQUEST" = "false" ]; then 

diff --git a/pldi19/aplas17/variables b/pldi19/aplas17/variables
@@ -1,6 +1,6 @@
 
-TARGET_BOUND=40
-REWRITE_BOUND=40
+TARGET_BOUND=6
+REWRITE_BOUND=6
 NAME=sum_positive
 TARGET=opt0/sum_positive.s
 REWRITE=opt1/sum_positive.s