Basic Merge Sort Parallel would be nice as regression but needs parti…

…cular solver to work.
epfl-lara · Sep 23, 2015 · 19b7601 · 19b7601
1 parent 6dea823
commit 19b7601
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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._