From 79cf89bcc83f0cbe4b3878229c6d499ebda34607 Mon Sep 17 00:00:00 2001
From: Mirco Dotta <mirco.dotta@gmail.com>
Date: Fri, 10 Jul 2009 11:07:24 +0000
Subject: [PATCH] updated script
---
forall-tests.sh | 13 +++++++++++++
1 file changed, 13 insertions(+)
diff --git a/forall-tests.sh b/forall-tests.sh
index bcfcc1721..7b999c365 100755
--- a/forall-tests.sh
+++ b/forall-tests.sh
@@ -76,6 +76,8 @@ scalac plugin/ConsSnoc.scala
scalac plugin/kawaguchi/InsertSort.scala
scalac plugin/kawaguchi/MergeSort.scala
+scalac plugin/kawaguchi/MergeSortBug.scala
+scalac plugin/kawaguchi/QuickSort.scala
cd ..
@@ -105,6 +107,8 @@ export ConsSnoc="plugin.ConsSnoc"
export InsertSort="plugin.kawaguchi.InsertSort"
export MergeSort="plugin.kawaguchi.MergeSort"
+export MergeSortBug="plugin.kawaguchi.MergeSortBug"
+export QuickSort="plugin.kawaguchi.QuickSort"
echo " - Testing ${BST}"
scala ${BST}
@@ -132,3 +136,12 @@ scala ${InsertSort}
echo " - Testing ${MergeSort}"
scala ${MergeSort}
+
+echo " - Testing ${MergeSortBug}. !!! EXPECTED TO CRASH !!!!"
+scala ${MergeSortBug} 2> /dev/null | head -n 4
+
+echo " - Testing ${QuickSort}"
+scala ${QuickSort}
+
+
+
--
GitLab