From b858fff0a4654542837e9fc282a7d502e443ccef Mon Sep 17 00:00:00 2001
From: Mirco Dotta <mirco.dotta@gmail.com>
Date: Wed, 15 Jul 2009 08:18:18 +0000
Subject: [PATCH] added SkewRandomAccessList to the testing script and added a
comment to the ant build file.
---
build.xml | 5 +++--
forall-tests.sh | 6 ++++++
2 files changed, 9 insertions(+), 2 deletions(-)
diff --git a/build.xml b/build.xml
index e10a64970..3c4a8625c 100644
--- a/build.xml
+++ b/build.xml
@@ -124,9 +124,10 @@
</target>
<target name="compile-examples" depends="dist" description="compile the examples">
- <mkdir dir="${build.examples.dir}" />
+ <mkdir dir="${build.examples.dir}" />
<scalac srcdir="${examples.dir}" destdir="${build.examples.dir}" force="changed"
- addparams="${scalac.funcheck.plugin}">
+ addparams="${scalac.default.params}">
+ <!-- addparams="${scalac.funcheck.plugin}" crashes for some unknown reason -->
<classpath>
<path refid="scalac.class.path" />
<path refid="scala.lib.extension.path" />
diff --git a/forall-tests.sh b/forall-tests.sh
index 526212e10..8307f621e 100755
--- a/forall-tests.sh
+++ b/forall-tests.sh
@@ -71,6 +71,7 @@ scalac examples/plugin/LambdaEvaluator.scala
scalac examples/plugin/PropositionalLogic.scala
scalac examples/plugin/SetRedBlackTree.scala
scalac examples/plugin/ConsSnoc.scala
+scalac examples/plugin/SkewBinaryRandomAccessList.scala
scalac examples/plugin/kawaguchi_pldi2010/InsertSort.scala
scalac examples/plugin/kawaguchi_pldi2010/MergeSort.scala
@@ -105,6 +106,7 @@ export LambdaEvaluator="plugin.LambdaEvaluator"
export PropositionalLogic="plugin.PropositionalLogic"
export SetRedBlackTree="plugin.SetRedBlackTree"
export ConsSnoc="plugin.ConsSnoc"
+export SkewList="plugin.SkewBinaryRandomAccessList"
export InsertSort="plugin.kawaguchi_pldi2010.InsertSort"
export MergeSort="plugin.kawaguchi_pldi2010.MergeSort"
@@ -113,6 +115,7 @@ export QuickSort="plugin.kawaguchi_pldi2010.QuickSort"
export MapReduce="plugin.kawaguchi_pldi2010.MapReduce"
export SplayHeap="plugin.kawaguchi_pldi2010.SplayHeap"
+
echo " - Testing ${BST}"
scala ${BST}
@@ -134,6 +137,9 @@ scala ${PropositionalLogic}
echo " - Testing ${ConsSnoc}"
scala ${ConsSnoc}
+echo " - Testing ${SkewList}"
+scala ${SkewList}
+
echo " - Testing ${InsertSort}"
scala ${InsertSort}
--
GitLab