From 19b7601b4f8e858e589a4bacf8b4b96e68e43cb5 Mon Sep 17 00:00:00 2001
From: Viktor Kuncak <viktor.kuncak@epfl.ch>
Date: Wed, 23 Sep 2015 10:44:53 +0200
Subject: [PATCH] Basic Merge Sort Parallel would be nice as regression but
 needs particular solver to work.

---
 .../verification/list-algorithms/BasicMergeSortPar.scala    | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/testcases/verification/list-algorithms/BasicMergeSortPar.scala b/testcases/verification/list-algorithms/BasicMergeSortPar.scala
index 493122b2f..4ea97244f 100644
--- a/testcases/verification/list-algorithms/BasicMergeSortPar.scala
+++ b/testcases/verification/list-algorithms/BasicMergeSortPar.scala
@@ -1,3 +1,9 @@
+/* Basic parallel Merge sort that: 
+   * shows use of 'par' construct
+   * uses a higher-order comparison function
+   * relies on a strong spec for a list library function splitAtIndex
+   Warning: spec does not check sortedness or multiplicity.
+*/
 import leon.lang._
 import leon.collection._
 import leon.par._
-- 
GitLab