scala.MatchError: None (of class scala.None$)

GitHub | shetzl | 2 months ago
  1. 0

    GitHub comment 567#250721163

    GitHub | 2 months ago | shetzl
    scala.MatchError: None (of class scala.None$)
  2. 0

    Strange scala.MatchError: None (of class scala.None$) with scalatest

    Google Groups | 1 year ago | Alexey Kuznetsov
    scala.MatchError: None (of class scala.None$)
  3. Speed up your debug routine!

    Automated exception search integrated into your IDE

  4. 0

    Strange scala.MatchError: None (of class scala.None$) with scalatest

    Google Groups | 1 year ago | Alexey Kuznetsov
    scala.MatchError: None (of class scala.None$)
  5. 0

    General discussion about the Scala programming language

    gmane.org | 7 months ago
    scala.MatchError: None (of class scala.None$)

    Not finding the right solution?
    Take a tour to get the most out of Samebug.

    Tired of useless tips?

    Automated exception search integrated into your IDE

    Root Cause Analysis

    1. scala.MatchError

      None (of class scala.None$)

      at at.logic.gapt.provers.viper.Viper.solveSPWI()
    2. at.logic.gapt
      Viper.main
      1. at.logic.gapt.provers.viper.Viper.solveSPWI(Viper.scala:192)
      2. at.logic.gapt.provers.viper.Viper.solve(Viper.scala:125)
      3. at.logic.gapt.provers.viper.Viper$.main(Viper.scala:279)
      4. at.logic.gapt.provers.viper.Viper.main(Viper.scala)
      4 frames