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

GitHub | shetzl | 6 months ago
tip
Click on the to mark the solution that helps you, Samebug will learn from it.
As a community member, you’ll be rewarded for you help.
  1. 0

    GitHub comment 567#250721163

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

    GitHub comment 596#270351592

    GitHub | 3 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