Organize testcases

epfl-lara · Aug 18, 2014 · f5cb422 · f5cb422
1 parent ac66790
commit f5cb422
Show file tree

Hide file tree

Showing 186 changed files with 1 addition and 28 deletions.
diff --git a/testcases/Abs.scala b/testcases/Abs.scala
diff --git a/testcases/Account2.scala b/testcases/Account2.scala
diff --git a/...ases/etaps2011-testcases/FromReport.scala → ...yard/etaps2011-testcases/FromReport.scala b/...ases/etaps2011-testcases/FromReport.scala → ...yard/etaps2011-testcases/FromReport.scala
diff --git a/testcases/etaps2011-testcases/HeapSort.scala → ...veyard/etaps2011-testcases/HeapSort.scala b/testcases/etaps2011-testcases/HeapSort.scala → ...veyard/etaps2011-testcases/HeapSort.scala
diff --git a/...ses/etaps2011-testcases/LeftistHeap.scala → ...ard/etaps2011-testcases/LeftistHeap.scala b/...ses/etaps2011-testcases/LeftistHeap.scala → ...ard/etaps2011-testcases/LeftistHeap.scala
diff --git a/testcases/etaps2011-testcases/VCs.scala → ...s/graveyard/etaps2011-testcases/VCs.scala b/testcases/etaps2011-testcases/VCs.scala → ...s/graveyard/etaps2011-testcases/VCs.scala
diff --git a/testcases/etaps2011-testcases/VCsHARD.scala → ...aveyard/etaps2011-testcases/VCsHARD.scala b/testcases/etaps2011-testcases/VCsHARD.scala → ...aveyard/etaps2011-testcases/VCsHARD.scala
diff --git a/testcases/etaps2011-testcases/manual → ...ases/graveyard/etaps2011-testcases/manual b/testcases/etaps2011-testcases/manual → ...ases/graveyard/etaps2011-testcases/manual
diff --git a/testcases/testgen/Abs.scala → testcases/graveyard/testgen/Abs.scala b/testcases/testgen/Abs.scala → testcases/graveyard/testgen/Abs.scala
diff --git a/testcases/testgen/Abs2.scala → testcases/graveyard/testgen/Abs2.scala b/testcases/testgen/Abs2.scala → testcases/graveyard/testgen/Abs2.scala
diff --git a/testcases/testgen/Diamond.scala → testcases/graveyard/testgen/Diamond.scala b/testcases/testgen/Diamond.scala → testcases/graveyard/testgen/Diamond.scala
diff --git a/testcases/testgen/Imp.scala → testcases/graveyard/testgen/Imp.scala b/testcases/testgen/Imp.scala → testcases/graveyard/testgen/Imp.scala
diff --git a/testcases/testgen/ImpWaypoint.scala → ...cases/graveyard/testgen/ImpWaypoint.scala b/testcases/testgen/ImpWaypoint.scala → ...cases/graveyard/testgen/ImpWaypoint.scala
diff --git a/testcases/testgen/List.scala → testcases/graveyard/testgen/List.scala b/testcases/testgen/List.scala → testcases/graveyard/testgen/List.scala
diff --git a/testcases/testgen/MultiCall.scala → testcases/graveyard/testgen/MultiCall.scala b/testcases/testgen/MultiCall.scala → testcases/graveyard/testgen/MultiCall.scala
diff --git a/testcases/testgen/Sum.scala → testcases/graveyard/testgen/Sum.scala b/testcases/testgen/Sum.scala → testcases/graveyard/testgen/Sum.scala
diff --git a/...ddressBook/AddressesMakeAddressBook.scala → ...ddressBook/AddressesMakeAddressBook.scala b/...ddressBook/AddressesMakeAddressBook.scala → ...ddressBook/AddressesMakeAddressBook.scala
diff --git a/...AddressesMakeAddressBookWithHelpers.scala → ...AddressesMakeAddressBookWithHelpers.scala b/...AddressesMakeAddressBookWithHelpers.scala → ...AddressesMakeAddressBookWithHelpers.scala
diff --git a/...ressBook/AddressesMergeAddressBooks.scala → ...ressBook/AddressesMergeAddressBooks.scala b/...ressBook/AddressesMergeAddressBooks.scala → ...ressBook/AddressesMergeAddressBooks.scala
diff --git a/...enchmarks/BatchedQueue/BatchedQueue.scala → ...enchmarks/BatchedQueue/BatchedQueue.scala b/...enchmarks/BatchedQueue/BatchedQueue.scala → ...enchmarks/BatchedQueue/BatchedQueue.scala
diff --git a/...rks/BatchedQueue/BatchedQueueCheckf.scala → ...rks/BatchedQueue/BatchedQueueCheckf.scala b/...rks/BatchedQueue/BatchedQueueCheckf.scala → ...rks/BatchedQueue/BatchedQueueCheckf.scala
diff --git a/...marks/BatchedQueue/BatchedQueueFull.scala → ...marks/BatchedQueue/BatchedQueueFull.scala b/...marks/BatchedQueue/BatchedQueueFull.scala → ...marks/BatchedQueue/BatchedQueueFull.scala
diff --git a/...marks/BatchedQueue/BatchedQueueSnoc.scala → ...marks/BatchedQueue/BatchedQueueSnoc.scala b/...marks/BatchedQueue/BatchedQueueSnoc.scala → ...marks/BatchedQueue/BatchedQueueSnoc.scala
diff --git a/.../BatchedQueue/BatchedQueueSnocWeird.scala → .../BatchedQueue/BatchedQueueSnocWeird.scala b/.../BatchedQueue/BatchedQueueSnocWeird.scala → .../BatchedQueue/BatchedQueueSnocWeird.scala
diff --git a/...marks/BatchedQueue/BatchedQueueTail.scala → ...marks/BatchedQueue/BatchedQueueTail.scala b/...marks/BatchedQueue/BatchedQueueTail.scala → ...marks/BatchedQueue/BatchedQueueTail.scala
diff --git a/...ses/condabd/benchmarks/BinarySearch.scala → ...sis/condabd/benchmarks/BinarySearch.scala b/...ses/condabd/benchmarks/BinarySearch.scala → ...sis/condabd/benchmarks/BinarySearch.scala
diff --git a/...narySearchTree/BinarySearchTreeFull.scala → ...narySearchTree/BinarySearchTreeFull.scala b/...narySearchTree/BinarySearchTreeFull.scala → ...narySearchTree/BinarySearchTreeFull.scala
diff --git a/...rySearchTree/BinarySearchTreeMember.scala → ...rySearchTree/BinarySearchTreeMember.scala b/...rySearchTree/BinarySearchTreeMember.scala → ...rySearchTree/BinarySearchTreeMember.scala
diff --git a/...s/InsertionSort/InsertionSortInsert.scala → ...s/InsertionSort/InsertionSortInsert.scala b/...s/InsertionSort/InsertionSortInsert.scala → ...s/InsertionSort/InsertionSortInsert.scala
diff --git a/...rks/InsertionSort/InsertionSortSort.scala → ...rks/InsertionSort/InsertionSortSort.scala b/...rks/InsertionSort/InsertionSortSort.scala → ...rks/InsertionSort/InsertionSortSort.scala
diff --git a/.../condabd/benchmarks/List/ListConcat.scala → .../condabd/benchmarks/List/ListConcat.scala b/.../condabd/benchmarks/List/ListConcat.scala → .../condabd/benchmarks/List/ListConcat.scala
diff --git a/.../condabd/benchmarks/List/ListSearch.scala → .../condabd/benchmarks/List/ListSearch.scala b/.../condabd/benchmarks/List/ListSearch.scala → .../condabd/benchmarks/List/ListSearch.scala
diff --git a/...benchmarks/MergeSort/MergeSortMerge.scala → ...benchmarks/MergeSort/MergeSortMerge.scala b/...benchmarks/MergeSort/MergeSortMerge.scala → ...benchmarks/MergeSort/MergeSortMerge.scala
diff --git a/.../benchmarks/MergeSort/MergeSortSort.scala → .../benchmarks/MergeSort/MergeSortSort.scala b/.../benchmarks/MergeSort/MergeSortSort.scala → .../benchmarks/MergeSort/MergeSortSort.scala
diff --git a/...arks/MergeSort/MergeSortSortWithVal.scala → ...arks/MergeSort/MergeSortSortWithVal.scala b/...arks/MergeSort/MergeSortSortWithVal.scala → ...arks/MergeSort/MergeSortSortWithVal.scala
diff --git a/...enchmarks/RedBlackTree/RedBlackTree.scala → ...enchmarks/RedBlackTree/RedBlackTree.scala b/...enchmarks/RedBlackTree/RedBlackTree.scala → ...enchmarks/RedBlackTree/RedBlackTree.scala
diff --git a/...rks/RedBlackTree/RedBlackTreeInsert.scala → ...rks/RedBlackTree/RedBlackTreeInsert.scala b/...rks/RedBlackTree/RedBlackTreeInsert.scala → ...rks/RedBlackTree/RedBlackTreeInsert.scala
diff --git a/...ases/condabd/test/insynth/Addresses.scala → ...esis/condabd/test/insynth/Addresses.scala b/...ases/condabd/test/insynth/Addresses.scala → ...esis/condabd/test/insynth/Addresses.scala
diff --git a/.../test/insynth/AddressesWithAddition.scala → .../test/insynth/AddressesWithAddition.scala b/.../test/insynth/AddressesWithAddition.scala → .../test/insynth/AddressesWithAddition.scala
diff --git a/...ses/condabd/test/insynth/ListConcat.scala → ...sis/condabd/test/insynth/ListConcat.scala b/...ses/condabd/test/insynth/ListConcat.scala → ...sis/condabd/test/insynth/ListConcat.scala
diff --git a/...ases/condabd/test/lesynth/Addresses.scala → ...esis/condabd/test/lesynth/Addresses.scala b/...ases/condabd/test/lesynth/Addresses.scala → ...esis/condabd/test/lesynth/Addresses.scala
diff --git a/.../lesynth/AddressesMergeAddressBooks.scala → .../lesynth/AddressesMergeAddressBooks.scala b/.../lesynth/AddressesMergeAddressBooks.scala → .../lesynth/AddressesMergeAddressBooks.scala
diff --git a/...ndabd/test/lesynth/BinarySearchTree.scala → ...ndabd/test/lesynth/BinarySearchTree.scala b/...ndabd/test/lesynth/BinarySearchTree.scala → ...ndabd/test/lesynth/BinarySearchTree.scala
diff --git a/...bd/test/lesynth/InsertionSortInsert.scala → ...bd/test/lesynth/InsertionSortInsert.scala b/...bd/test/lesynth/InsertionSortInsert.scala → ...bd/test/lesynth/InsertionSortInsert.scala
diff --git a/...ses/condabd/test/lesynth/ListConcat.scala → ...sis/condabd/test/lesynth/ListConcat.scala b/...ses/condabd/test/lesynth/ListConcat.scala → ...sis/condabd/test/lesynth/ListConcat.scala
diff --git a/...test/lesynth/ListConcatVerifierTest.scala → ...test/lesynth/ListConcatVerifierTest.scala b/...test/lesynth/ListConcatVerifierTest.scala → ...test/lesynth/ListConcatVerifierTest.scala
diff --git a/...bd/test/lesynth/ListConcatWithEmpty.scala → ...bd/test/lesynth/ListConcatWithEmpty.scala b/...bd/test/lesynth/ListConcatWithEmpty.scala → ...bd/test/lesynth/ListConcatWithEmpty.scala
diff --git a/.../condabd/test/lesynth/MergeSortSort.scala → .../condabd/test/lesynth/MergeSortSort.scala b/.../condabd/test/lesynth/MergeSortSort.scala → .../condabd/test/lesynth/MergeSortSort.scala
diff --git a/...abd/test/lesynth/RedBlackTreeInsert.scala → ...abd/test/lesynth/RedBlackTreeInsert.scala b/...abd/test/lesynth/RedBlackTreeInsert.scala → ...abd/test/lesynth/RedBlackTreeInsert.scala
diff --git a/testcases/insynth-leon-tests/Arguments.scala → ...thesis/insynth-leon-tests/Arguments.scala b/testcases/insynth-leon-tests/Arguments.scala → ...thesis/insynth-leon-tests/Arguments.scala
diff --git a/...es/insynth-leon-tests/BubbleSortBug.scala → ...is/insynth-leon-tests/BubbleSortBug.scala b/...es/insynth-leon-tests/BubbleSortBug.scala → ...is/insynth-leon-tests/BubbleSortBug.scala
diff --git a/...h-leon-tests/CaseClassSelectExample.scala → ...h-leon-tests/CaseClassSelectExample.scala b/...h-leon-tests/CaseClassSelectExample.scala → ...h-leon-tests/CaseClassSelectExample.scala
diff --git a/testcases/insynth-leon-tests/Hole.scala → ...s/synthesis/insynth-leon-tests/Hole.scala b/testcases/insynth-leon-tests/Hole.scala → ...s/synthesis/insynth-leon-tests/Hole.scala
diff --git a/...synth-leon-tests/ListOperationsHole.scala → ...synth-leon-tests/ListOperationsHole.scala b/...synth-leon-tests/ListOperationsHole.scala → ...synth-leon-tests/ListOperationsHole.scala
diff --git a/...insynth-leon-tests/RedBlackTreeFull.scala → ...insynth-leon-tests/RedBlackTreeFull.scala b/...insynth-leon-tests/RedBlackTreeFull.scala → ...insynth-leon-tests/RedBlackTreeFull.scala
diff --git a/testcases/insynth-synthesis-tests/Hole.scala → ...thesis/insynth-synthesis-tests/Hole.scala b/testcases/insynth-synthesis-tests/Hole.scala → ...thesis/insynth-synthesis-tests/Hole.scala
diff --git a/.../insynth-synthesis-tests/LocalScope.scala → .../insynth-synthesis-tests/LocalScope.scala b/.../insynth-synthesis-tests/LocalScope.scala → .../insynth-synthesis-tests/LocalScope.scala
diff --git a/...nth-results/RedBlackTreeSynthResult.scala → ...nth-results/RedBlackTreeSynthResult.scala b/...nth-results/RedBlackTreeSynthResult.scala → ...nth-results/RedBlackTreeSynthResult.scala
diff --git a/...-results/RedBlackTreeSynthResultBad.scala → ...-results/RedBlackTreeSynthResultBad.scala b/...-results/RedBlackTreeSynthResultBad.scala → ...-results/RedBlackTreeSynthResultBad.scala
diff --git a/testcases/Addresses.scala → testcases/verification/Addresses.scala b/testcases/Addresses.scala → testcases/verification/Addresses.scala
@@ -31,7 +31,7 @@ object Addresses {
   }) ensuring (res => res==theseAunique1(as,l))
 
   def disjoint(x:Set[Int],y:Set[Int]):Boolean = {
-    x ** y == Set.empty[Int]
+    (x & y) == Set.empty[Int]
   }
 
   def uniqueAbsentAs(unique:Set[Int],absent:Set[Int],l:List) : Boolean = (l match {

diff --git a/testcases/Errors.scala → testcases/verification/Errors.scala b/testcases/Errors.scala → testcases/verification/Errors.scala
diff --git a/testcases/Fibonacci.scala → testcases/verification/Fibonacci.scala b/testcases/Fibonacci.scala → testcases/verification/Fibonacci.scala
diff --git a/testcases/FiniteSort.scala → testcases/verification/FiniteSort.scala b/testcases/FiniteSort.scala → testcases/verification/FiniteSort.scala
diff --git a/testcases/Interpret.scala → testcases/verification/Interpreter.scala b/testcases/Interpret.scala → testcases/verification/Interpreter.scala
diff --git a/testcases/MutuallyRecursive.scala → ...ases/verification/MutuallyRecursive.scala b/testcases/MutuallyRecursive.scala → ...ases/verification/MutuallyRecursive.scala
diff --git a/testcases/Naturals.scala → testcases/verification/Naturals.scala b/testcases/Naturals.scala → testcases/verification/Naturals.scala
diff --git a/testcases/Parser.scala → testcases/verification/Parser.scala b/testcases/Parser.scala → testcases/verification/Parser.scala
diff --git a/testcases/Prime.scala → testcases/verification/Prime.scala b/testcases/Prime.scala → testcases/verification/Prime.scala
diff --git a/testcases/PropositionalLogic.scala → ...ses/verification/PropositionalLogic.scala b/testcases/PropositionalLogic.scala → ...ses/verification/PropositionalLogic.scala
diff --git a/testcases/SecondsToTime.scala → testcases/verification/SecondsToTime.scala b/testcases/SecondsToTime.scala → testcases/verification/SecondsToTime.scala
diff --git a/testcases/SimpInterpret.scala → testcases/verification/SimpInterpret.scala b/testcases/SimpInterpret.scala → testcases/verification/SimpInterpret.scala
diff --git a/testcases/TwoSizeFunctions.scala → ...cases/verification/TwoSizeFunctions.scala b/testcases/TwoSizeFunctions.scala → ...cases/verification/TwoSizeFunctions.scala
diff --git a/testcases/case-studies/Compiler.scala → .../verification/case-studies/Compiler.scala b/testcases/case-studies/Compiler.scala → .../verification/case-studies/Compiler.scala
diff --git a/testcases/case-studies/Lambda.scala → ...es/verification/case-studies/Lambda.scala b/testcases/case-studies/Lambda.scala → ...es/verification/case-studies/Lambda.scala
diff --git a/testcases/case-studies/Sync.scala → ...ases/verification/case-studies/Sync.scala b/testcases/case-studies/Sync.scala → ...ases/verification/case-studies/Sync.scala
diff --git a/testcases/datastructures/AVLTree.scala → ...verification/datastructures/AVLTree.scala b/testcases/datastructures/AVLTree.scala → ...verification/datastructures/AVLTree.scala
diff --git a/...cases/datastructures/AmortizedQueue.scala → ...ation/datastructures/AmortizedQueue.scala b/...cases/datastructures/AmortizedQueue.scala → ...ation/datastructures/AmortizedQueue.scala
diff --git a/...ses/datastructures/BinarySearchTree.scala → ...ion/datastructures/BinarySearchTree.scala b/...ses/datastructures/BinarySearchTree.scala → ...ion/datastructures/BinarySearchTree.scala
diff --git a/...tastructures/BinarySearchTreeSorted.scala → ...tastructures/BinarySearchTreeSorted.scala b/...tastructures/BinarySearchTreeSorted.scala → ...tastructures/BinarySearchTreeSorted.scala
diff --git a/testcases/datastructures/BinaryTrie.scala → ...ification/datastructures/BinaryTrie.scala b/testcases/datastructures/BinaryTrie.scala → ...ification/datastructures/BinaryTrie.scala
diff --git a/testcases/datastructures/HeapSort.scala → ...erification/datastructures/HeapSort.scala b/testcases/datastructures/HeapSort.scala → ...erification/datastructures/HeapSort.scala
diff --git a/testcases/datastructures/InsertionSort.scala → ...cation/datastructures/InsertionSort.scala b/testcases/datastructures/InsertionSort.scala → ...cation/datastructures/InsertionSort.scala
diff --git a/testcases/datastructures/LeftistHeap.scala → ...fication/datastructures/LeftistHeap.scala b/testcases/datastructures/LeftistHeap.scala → ...fication/datastructures/LeftistHeap.scala
diff --git a/testcases/datastructures/ListWithSize.scala → ...ication/datastructures/ListWithSize.scala b/testcases/datastructures/ListWithSize.scala → ...ication/datastructures/ListWithSize.scala
diff --git a/testcases/datastructures/MergeSort.scala → ...rification/datastructures/MergeSort.scala b/testcases/datastructures/MergeSort.scala → ...rification/datastructures/MergeSort.scala
diff --git a/testcases/datastructures/QuickSort.scala → ...rification/datastructures/QuickSort.scala b/testcases/datastructures/QuickSort.scala → ...rification/datastructures/QuickSort.scala
diff --git a/testcases/datastructures/RedBlackTree.scala → ...ication/datastructures/RedBlackTree.scala b/testcases/datastructures/RedBlackTree.scala → ...ication/datastructures/RedBlackTree.scala
diff --git a/testcases/datastructures/SortedList.scala → ...ification/datastructures/SortedList.scala b/testcases/datastructures/SortedList.scala → ...ification/datastructures/SortedList.scala
diff --git a/...ses/datastructures/TreeListSetNoDup.scala → ...ion/datastructures/TreeListSetNoDup.scala b/...ses/datastructures/TreeListSetNoDup.scala → ...ion/datastructures/TreeListSetNoDup.scala
diff --git a/testcases/graph/MST/MSTMap.scala → ...cases/verification/graph/MST/MSTMap.scala b/testcases/graph/MST/MSTMap.scala → ...cases/verification/graph/MST/MSTMap.scala
diff --git a/testcases/graph/MST/SpanningTree.scala → ...verification/graph/MST/SpanningTree.scala b/testcases/graph/MST/SpanningTree.scala → ...verification/graph/MST/SpanningTree.scala
diff --git a/testcases/graph/SetIteration.scala → ...ses/verification/graph/SetIteration.scala b/testcases/graph/SetIteration.scala → ...ses/verification/graph/SetIteration.scala
diff --git a/testcases/graph/SimpleInduction.scala → .../verification/graph/SimpleInduction.scala b/testcases/graph/SimpleInduction.scala → .../verification/graph/SimpleInduction.scala
diff --git a/testcases/graph/SortedNDList.scala → ...ses/verification/graph/SortedNDList.scala b/testcases/graph/SortedNDList.scala → ...ses/verification/graph/SortedNDList.scala
diff --git a/testcases/graph/Subgraph.scala → testcases/verification/graph/Subgraph.scala b/testcases/graph/Subgraph.scala → testcases/verification/graph/Subgraph.scala
diff --git a/testcases/graph/SubgraphMap.scala → ...ases/verification/graph/SubgraphMap.scala b/testcases/graph/SubgraphMap.scala → ...ases/verification/graph/SubgraphMap.scala
diff --git a/testcases/graph/TreeEquivalence.scala → .../verification/graph/TreeEquivalence.scala b/testcases/graph/TreeEquivalence.scala → .../verification/graph/TreeEquivalence.scala
diff --git a/testcases/graph/TreeEquivalenceMap.scala → ...rification/graph/TreeEquivalenceMap.scala b/testcases/graph/TreeEquivalenceMap.scala → ...rification/graph/TreeEquivalenceMap.scala
diff --git a/testcases/graph/dijkstras/DijkstrasSet.scala → ...cation/graph/dijkstras/DijkstrasSet.scala b/testcases/graph/dijkstras/DijkstrasSet.scala → ...cation/graph/dijkstras/DijkstrasSet.scala
diff --git a/...graph/dijkstras/DijkstrasSetToVisit.scala → ...graph/dijkstras/DijkstrasSetToVisit.scala b/...graph/dijkstras/DijkstrasSetToVisit.scala → ...graph/dijkstras/DijkstrasSetToVisit.scala
diff --git a/...graph/dijkstras/DijkstrasSortedList.scala → ...graph/dijkstras/DijkstrasSortedList.scala b/...graph/dijkstras/DijkstrasSortedList.scala → ...graph/dijkstras/DijkstrasSortedList.scala
diff --git a/.../pldi2011-testcases/AssociativeList.scala → .../pldi2011-testcases/AssociativeList.scala b/.../pldi2011-testcases/AssociativeList.scala → .../pldi2011-testcases/AssociativeList.scala
diff --git a/...s/pldi2011-testcases/ForElimination.scala → ...n/pldi2011-testcases/ForElimination.scala b/...s/pldi2011-testcases/ForElimination.scala → ...n/pldi2011-testcases/ForElimination.scala
diff --git a/...es/pldi2011-testcases/InsertionSort.scala → ...on/pldi2011-testcases/InsertionSort.scala b/...es/pldi2011-testcases/InsertionSort.scala → ...on/pldi2011-testcases/InsertionSort.scala
diff --git a/...cases/pldi2011-testcases/LambdaEval.scala → ...ation/pldi2011-testcases/LambdaEval.scala b/...cases/pldi2011-testcases/LambdaEval.scala → ...ation/pldi2011-testcases/LambdaEval.scala
diff --git a/testcases/pldi2011-testcases/ListTree.scala → ...ication/pldi2011-testcases/ListTree.scala b/testcases/pldi2011-testcases/ListTree.scala → ...ication/pldi2011-testcases/ListTree.scala
diff --git a/testcases/pldi2011-testcases/MergeSort.scala → ...cation/pldi2011-testcases/MergeSort.scala b/testcases/pldi2011-testcases/MergeSort.scala → ...cation/pldi2011-testcases/MergeSort.scala
diff --git a/...di2011-testcases/PropositionalLogic.scala → ...di2011-testcases/PropositionalLogic.scala b/...di2011-testcases/PropositionalLogic.scala → ...di2011-testcases/PropositionalLogic.scala
diff --git a/testcases/pldi2011-testcases/QuickSort.scala → ...cation/pldi2011-testcases/QuickSort.scala b/testcases/pldi2011-testcases/QuickSort.scala → ...cation/pldi2011-testcases/QuickSort.scala
diff --git a/...ses/pldi2011-testcases/RedBlackTree.scala → ...ion/pldi2011-testcases/RedBlackTree.scala b/...ses/pldi2011-testcases/RedBlackTree.scala → ...ion/pldi2011-testcases/RedBlackTree.scala
diff --git a/...2011-testcases/RedBlackTreeDeletion.scala → ...2011-testcases/RedBlackTreeDeletion.scala b/...2011-testcases/RedBlackTreeDeletion.scala → ...2011-testcases/RedBlackTreeDeletion.scala
diff --git a/...011-testcases/SemanticsPreservation.scala → ...011-testcases/SemanticsPreservation.scala b/...011-testcases/SemanticsPreservation.scala → ...011-testcases/SemanticsPreservation.scala
diff --git a/testcases/pldi2011-testcases/TreeMap.scala → ...fication/pldi2011-testcases/TreeMap.scala b/testcases/pldi2011-testcases/TreeMap.scala → ...fication/pldi2011-testcases/TreeMap.scala
diff --git a/...es/sas2011-testcases/AmortizedQueue.scala → ...on/sas2011-testcases/AmortizedQueue.scala b/...es/sas2011-testcases/AmortizedQueue.scala → ...on/sas2011-testcases/AmortizedQueue.scala
diff --git a/...s/sas2011-testcases/AssociativeList.scala → ...n/sas2011-testcases/AssociativeList.scala b/...s/sas2011-testcases/AssociativeList.scala → ...n/sas2011-testcases/AssociativeList.scala
diff --git a/...ses/sas2011-testcases/InsertionSort.scala → ...ion/sas2011-testcases/InsertionSort.scala b/...ses/sas2011-testcases/InsertionSort.scala → ...ion/sas2011-testcases/InsertionSort.scala
diff --git a/...es/sas2011-testcases/ListOperations.scala → ...on/sas2011-testcases/ListOperations.scala b/...es/sas2011-testcases/ListOperations.scala → ...on/sas2011-testcases/ListOperations.scala
diff --git a/...as2011-testcases/PropositionalLogic.scala → ...as2011-testcases/PropositionalLogic.scala b/...as2011-testcases/PropositionalLogic.scala → ...as2011-testcases/PropositionalLogic.scala
diff --git a/...ases/sas2011-testcases/RedBlackTree.scala → ...tion/sas2011-testcases/RedBlackTree.scala b/...ases/sas2011-testcases/RedBlackTree.scala → ...tion/sas2011-testcases/RedBlackTree.scala
diff --git a/.../sas2011-testcases/SearchLinkedList.scala → .../sas2011-testcases/SearchLinkedList.scala b/.../sas2011-testcases/SearchLinkedList.scala → .../sas2011-testcases/SearchLinkedList.scala
diff --git a/testcases/sas2011-testcases/SumAndMax.scala → ...ication/sas2011-testcases/SumAndMax.scala b/testcases/sas2011-testcases/SumAndMax.scala → ...ication/sas2011-testcases/SumAndMax.scala
diff --git a/...l-summaries/AmortizedQueue-evaluation.txt → ...l-summaries/AmortizedQueue-evaluation.txt b/...l-summaries/AmortizedQueue-evaluation.txt → ...l-summaries/AmortizedQueue-evaluation.txt
diff --git a/...-summaries/AssociativeList-evaluation.txt → ...-summaries/AssociativeList-evaluation.txt b/...-summaries/AssociativeList-evaluation.txt → ...-summaries/AssociativeList-evaluation.txt
diff --git a/...al-summaries/InsertionSort-evaluation.txt → ...al-summaries/InsertionSort-evaluation.txt b/...al-summaries/InsertionSort-evaluation.txt → ...al-summaries/InsertionSort-evaluation.txt
diff --git a/...l-summaries/ListOperations-evaluation.txt → ...l-summaries/ListOperations-evaluation.txt b/...l-summaries/ListOperations-evaluation.txt → ...l-summaries/ListOperations-evaluation.txt
diff --git a/...mmaries/PropositionalLogic-evaluation.txt → ...mmaries/PropositionalLogic-evaluation.txt b/...mmaries/PropositionalLogic-evaluation.txt → ...mmaries/PropositionalLogic-evaluation.txt
diff --git a/...val-summaries/RedBlackTree-evaluation.txt → ...val-summaries/RedBlackTree-evaluation.txt b/...val-summaries/RedBlackTree-evaluation.txt → ...val-summaries/RedBlackTree-evaluation.txt
diff --git a/...summaries/SearchLinkedList-evaluation.txt → ...summaries/SearchLinkedList-evaluation.txt b/...summaries/SearchLinkedList-evaluation.txt → ...summaries/SearchLinkedList-evaluation.txt
diff --git a/...y-eval-summaries/SumAndMax-evaluation.txt → ...y-eval-summaries/SumAndMax-evaluation.txt b/...y-eval-summaries/SumAndMax-evaluation.txt → ...y-eval-summaries/SumAndMax-evaluation.txt
diff --git a/...val-summary/AmortizedQueue-evaluation.txt → ...val-summary/AmortizedQueue-evaluation.txt b/...val-summary/AmortizedQueue-evaluation.txt → ...val-summary/AmortizedQueue-evaluation.txt
diff --git a/...al-summary/AssociativeList-evaluation.txt → ...al-summary/AssociativeList-evaluation.txt b/...al-summary/AssociativeList-evaluation.txt → ...al-summary/AssociativeList-evaluation.txt
diff --git a/...eval-summary/InsertionSort-evaluation.txt → ...eval-summary/InsertionSort-evaluation.txt b/...eval-summary/InsertionSort-evaluation.txt → ...eval-summary/InsertionSort-evaluation.txt
diff --git a/...val-summary/ListOperations-evaluation.txt → ...val-summary/ListOperations-evaluation.txt b/...val-summary/ListOperations-evaluation.txt → ...val-summary/ListOperations-evaluation.txt
diff --git a/...ropositionalLogic-evaluation-PLDI-100.txt → ...ropositionalLogic-evaluation-PLDI-100.txt b/...ropositionalLogic-evaluation-PLDI-100.txt → ...ropositionalLogic-evaluation-PLDI-100.txt
diff --git a/...summary/PropositionalLogic-evaluation.txt → ...summary/PropositionalLogic-evaluation.txt b/...summary/PropositionalLogic-evaluation.txt → ...summary/PropositionalLogic-evaluation.txt
diff --git a/.../eval-summary/RedBlackTree-evaluation.txt → .../eval-summary/RedBlackTree-evaluation.txt b/.../eval-summary/RedBlackTree-evaluation.txt → .../eval-summary/RedBlackTree-evaluation.txt
diff --git a/...l-summary/SearchLinkedList-evaluation.txt → ...l-summary/SearchLinkedList-evaluation.txt b/...l-summary/SearchLinkedList-evaluation.txt → ...l-summary/SearchLinkedList-evaluation.txt
diff --git a/...summary/SumAndMax-evaluation-pldi-100.txt → ...summary/SumAndMax-evaluation-pldi-100.txt b/...summary/SumAndMax-evaluation-pldi-100.txt → ...summary/SumAndMax-evaluation-pldi-100.txt
diff --git a/...cases/scala-workshop/AmortizedQueue.scala → ...rification/scala2013/AmortizedQueue.scala b/...cases/scala-workshop/AmortizedQueue.scala → ...rification/scala2013/AmortizedQueue.scala
diff --git a/...es/scala-workshop/AmortizedQueueImp.scala → ...ication/scala2013/AmortizedQueueImp.scala b/...es/scala-workshop/AmortizedQueueImp.scala → ...ication/scala2013/AmortizedQueueImp.scala
diff --git a/testcases/scala-workshop/Arithmetic.scala → ...s/verification/scala2013/Arithmetic.scala b/testcases/scala-workshop/Arithmetic.scala → ...s/verification/scala2013/Arithmetic.scala
diff --git a/...ases/scala-workshop/AssociativeList.scala → ...ification/scala2013/AssociativeList.scala b/...ases/scala-workshop/AssociativeList.scala → ...ification/scala2013/AssociativeList.scala
diff --git a/...s/scala-workshop/AssociativeListImp.scala → ...cation/scala2013/AssociativeListImp.scala b/...s/scala-workshop/AssociativeListImp.scala → ...cation/scala2013/AssociativeListImp.scala
diff --git a/...cases/scala-workshop/ListOperations.scala → ...rification/scala2013/ListOperations.scala b/...cases/scala-workshop/ListOperations.scala → ...rification/scala2013/ListOperations.scala
diff --git a/...es/scala-workshop/ListOperationsImp.scala → ...ication/scala2013/ListOperationsImp.scala b/...es/scala-workshop/ListOperationsImp.scala → ...ication/scala2013/ListOperationsImp.scala
diff --git a/...s/scala-workshop/PropositionalLogic.scala → ...cation/scala2013/PropositionalLogic.scala b/...s/scala-workshop/PropositionalLogic.scala → ...cation/scala2013/PropositionalLogic.scala
diff --git a/testcases/scala-workshop/RedBlackTree.scala → ...verification/scala2013/RedBlackTree.scala b/testcases/scala-workshop/RedBlackTree.scala → ...verification/scala2013/RedBlackTree.scala
diff --git a/...ses/scala-workshop/SearchLinkedList.scala → ...fication/scala2013/SearchLinkedList.scala b/...ses/scala-workshop/SearchLinkedList.scala → ...fication/scala2013/SearchLinkedList.scala
diff --git a/testcases/scala-workshop/Sorting.scala → ...ases/verification/scala2013/Sorting.scala b/testcases/scala-workshop/Sorting.scala → ...ases/verification/scala2013/Sorting.scala
diff --git a/testcases/scala-workshop/SumAndMax.scala → ...es/verification/scala2013/SumAndMax.scala b/testcases/scala-workshop/SumAndMax.scala → ...es/verification/scala2013/SumAndMax.scala
diff --git a/testcases/scala-workshop/SumAndMaxImp.scala → ...verification/scala2013/SumAndMaxImp.scala b/testcases/scala-workshop/SumAndMaxImp.scala → ...verification/scala2013/SumAndMaxImp.scala
diff --git a/testcases/vmcai2011-testcases/CADE07.scala → ...fication/vmcai2011-testcases/CADE07.scala b/testcases/vmcai2011-testcases/CADE07.scala → ...fication/vmcai2011-testcases/CADE07.scala
diff --git a/...ases/vmcai2011-testcases/CADE07Hard.scala → ...tion/vmcai2011-testcases/CADE07Hard.scala b/...ases/vmcai2011-testcases/CADE07Hard.scala → ...tion/vmcai2011-testcases/CADE07Hard.scala
diff --git a/testcases/vmcai2011-testcases/Giuliano.scala → ...cation/vmcai2011-testcases/Giuliano.scala b/testcases/vmcai2011-testcases/Giuliano.scala → ...cation/vmcai2011-testcases/Giuliano.scala
diff --git a/...es/vmcai2011-testcases/JustFormulas.scala → ...on/vmcai2011-testcases/JustFormulas.scala b/...es/vmcai2011-testcases/JustFormulas.scala → ...on/vmcai2011-testcases/JustFormulas.scala
diff --git a/.../vmcai2011-testcases/ListProperties.scala → .../vmcai2011-testcases/ListProperties.scala b/.../vmcai2011-testcases/ListProperties.scala → .../vmcai2011-testcases/ListProperties.scala
diff --git a/...s/vmcai2011-testcases/PaperExamples.scala → ...n/vmcai2011-testcases/PaperExamples.scala b/...s/vmcai2011-testcases/PaperExamples.scala → ...n/vmcai2011-testcases/PaperExamples.scala
diff --git a/...es/vmcai2011-testcases/SanityChecks.scala → ...on/vmcai2011-testcases/SanityChecks.scala b/...es/vmcai2011-testcases/SanityChecks.scala → ...on/vmcai2011-testcases/SanityChecks.scala
diff --git a/...s/vstte10competition/AmortizedQueue.scala → ...n/vstte10competition/AmortizedQueue.scala b/...s/vstte10competition/AmortizedQueue.scala → ...n/vstte10competition/AmortizedQueue.scala
diff --git a/testcases/vstte10competition/Injection.scala → ...cation/vstte10competition/Injection.scala b/testcases/vstte10competition/Injection.scala → ...cation/vstte10competition/Injection.scala
diff --git a/...vstte10competition/SearchLinkedList.scala → ...vstte10competition/SearchLinkedList.scala b/...vstte10competition/SearchLinkedList.scala → ...vstte10competition/SearchLinkedList.scala
diff --git a/testcases/vstte10competition/SumAndMax.scala → ...cation/vstte10competition/SumAndMax.scala b/testcases/vstte10competition/SumAndMax.scala → ...cation/vstte10competition/SumAndMax.scala
diff --git a/testcases/xlang/AbsArray.scala → testcases/verification/xlang/AbsArray.scala b/testcases/xlang/AbsArray.scala → testcases/verification/xlang/AbsArray.scala
diff --git a/testcases/xlang/AbsFun.scala → testcases/verification/xlang/AbsFun.scala b/testcases/xlang/AbsFun.scala → testcases/verification/xlang/AbsFun.scala
diff --git a/testcases/xlang/Add.scala → testcases/verification/xlang/Add.scala b/testcases/xlang/Add.scala → testcases/verification/xlang/Add.scala
diff --git a/testcases/xlang/ArrayBinarySearch.scala → ...erification/xlang/ArrayBinarySearch.scala b/testcases/xlang/ArrayBinarySearch.scala → ...erification/xlang/ArrayBinarySearch.scala
diff --git a/...s/xlang/ArrayBinarySearchProcedural.scala → ...n/xlang/ArrayBinarySearchProcedural.scala b/...s/xlang/ArrayBinarySearchProcedural.scala → ...n/xlang/ArrayBinarySearchProcedural.scala
diff --git a/testcases/xlang/BinaryTreeImp.scala → ...es/verification/xlang/BinaryTreeImp.scala b/testcases/xlang/BinaryTreeImp.scala → ...es/verification/xlang/BinaryTreeImp.scala
diff --git a/testcases/xlang/BubbleFun.scala → testcases/verification/xlang/BubbleFun.scala b/testcases/xlang/BubbleFun.scala → testcases/verification/xlang/BubbleFun.scala
diff --git a/testcases/xlang/BubbleSort.scala → ...cases/verification/xlang/BubbleSort.scala b/testcases/xlang/BubbleSort.scala → ...cases/verification/xlang/BubbleSort.scala
diff --git a/testcases/xlang/BubbleWeakInvariant.scala → ...ification/xlang/BubbleWeakInvariant.scala b/testcases/xlang/BubbleWeakInvariant.scala → ...ification/xlang/BubbleWeakInvariant.scala
diff --git a/testcases/xlang/InsertionSortImp.scala → ...verification/xlang/InsertionSortImp.scala b/testcases/xlang/InsertionSortImp.scala → ...verification/xlang/InsertionSortImp.scala
diff --git a/testcases/xlang/IntOperations.scala → ...es/verification/xlang/IntOperations.scala b/testcases/xlang/IntOperations.scala → ...es/verification/xlang/IntOperations.scala
diff --git a/testcases/xlang/LinearSearch.scala → ...ses/verification/xlang/LinearSearch.scala b/testcases/xlang/LinearSearch.scala → ...ses/verification/xlang/LinearSearch.scala
diff --git a/testcases/xlang/ListImp.scala → testcases/verification/xlang/ListImp.scala b/testcases/xlang/ListImp.scala → testcases/verification/xlang/ListImp.scala
diff --git a/testcases/xlang/MaxSum.scala → testcases/verification/xlang/MaxSum.scala b/testcases/xlang/MaxSum.scala → testcases/verification/xlang/MaxSum.scala
diff --git a/testcases/xlang/Mult.scala → testcases/verification/xlang/Mult.scala b/testcases/xlang/Mult.scala → testcases/verification/xlang/Mult.scala
diff --git a/testcases/xlang/NonDeterministicList.scala → ...fication/xlang/NonDeterministicList.scala b/testcases/xlang/NonDeterministicList.scala → ...fication/xlang/NonDeterministicList.scala
diff --git a/testcases/xlang/QuickSortImp.scala → ...ses/verification/xlang/QuickSortImp.scala b/testcases/xlang/QuickSortImp.scala → ...ses/verification/xlang/QuickSortImp.scala
diff --git a/testcases/xlang/buggyEpsilon.scala → ...ses/verification/xlang/buggyEpsilon.scala b/testcases/xlang/buggyEpsilon.scala → ...ses/verification/xlang/buggyEpsilon.scala
diff --git a/...lang/master-thesis-regis/Arithmetic.scala → ...lang/master-thesis-regis/Arithmetic.scala b/...lang/master-thesis-regis/Arithmetic.scala → ...lang/master-thesis-regis/Arithmetic.scala
diff --git a/...master-thesis-regis/ArrayBubbleSort.scala → ...master-thesis-regis/ArrayBubbleSort.scala b/...master-thesis-regis/ArrayBubbleSort.scala → ...master-thesis-regis/ArrayBubbleSort.scala
diff --git a/...master-thesis-regis/ArrayOperations.scala → ...master-thesis-regis/ArrayOperations.scala b/...master-thesis-regis/ArrayOperations.scala → ...master-thesis-regis/ArrayOperations.scala
diff --git a/...ang/master-thesis-regis/Constraints.scala → ...ang/master-thesis-regis/Constraints.scala b/...ang/master-thesis-regis/Constraints.scala → ...ang/master-thesis-regis/Constraints.scala
diff --git a/.../master-thesis-regis/ListOperations.scala → .../master-thesis-regis/ListOperations.scala b/.../master-thesis-regis/ListOperations.scala → .../master-thesis-regis/ListOperations.scala
diff --git a/testcases/xlang/xplusone.scala → testcases/verification/xlang/xplusone.scala b/testcases/xlang/xplusone.scala → testcases/verification/xlang/xplusone.scala