diff --git a/run-evaluation b/run-evaluation index 0100f4cc26758bbf5e3077e1beac172560fccb24..d3f994c1ba37592d4501f6b54c71a683a25b1195 100755 --- a/run-evaluation +++ b/run-evaluation @@ -1,8 +1,8 @@ #!/bin/bash ts=`date +%F-%R` -pldi="pldi2011-testcases" -files=( ${pldi}"/AssociativeList.scala" ${pldi}/"InsertionSort.scala" ${pldi}"/RedBlackTree.scala" ${pldi}"/PropositionalLogic.scala" "testcases/ListWithSize.scala") +demoFolder="demo" +files=( ${demoFolder}"/AssociativeList.scala" ${demoFolder}/"InsertionSort.scala" ${demoFolder}"/RedBlackTree.scala" ${demoFolder}"/PropositionalLogic.scala" "${demoFolder}/ListWithSize.scala") #files=( ${pldi}"/RedBlackTree.scala" ) if [ "$#" -lt "1" ] then