search

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs
https://epfl-lara.github.io/stainless/
Apache License 2.0
349 stars 50 forks source link

Long lists not extracted properly #209

Closed jad-hamza closed 6 years ago

jad-hamza commented 6 years ago

Taken from: https://github.com/epfl-lara/bolts/blob/9ad6e25cbdc14971a856617dbae3ca07137e395a/fp-design/bloxorz/Bloxorz.scala

import stainless.collection._

object Bloxorz {
    case class Level() {
      def l: List[Char] =      List('o','o','o','-','-','-','-','-','-','-','\n', 
                                    'o','S','o','o','o','o','-','-','-','-','\n',
                                    'o','o','o','o','o','o','o','o','o','-','\n',
                                    '-','o','o','o','o','o','o','o','o','o','\n',
                                    '-','-','-','-','-','o','o','T','o','o','\n',
                                    '-','-','-','-','-','-','o','o','o','-','\n')
    }
}

[ Error ] class scala.Tuple66 in compiler mirror not found.

samarion commented 6 years ago

Fixed in https://github.com/epfl-lara/stainless/commit/520441d8eb79b21c86a077ab87c15108c65dd198