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

GitHub | shetzl | 5 months ago
tip
Do you know that we can give you better hits? Get more relevant results from Samebug’s stack trace search.
  1. 0

    GitHub comment 567#250721163

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

    GitHub comment 596#270351592

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

    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