Searched on Google with the first line of a JAVA stack trace?

We can recommend more relevant solutions and speed up debugging when you paste your entire stack trace with the exception message. Try a sample exception.

Recommended solutions based on your search

Solutions on the web

via GitHub by shetzl
, 1 year ago
None (of class scala.None$)
via GitHub by shetzl
, 1 year ago
None (of class scala.None$)
scala.MatchError: None (of class scala.None$)	at at.logic.gapt.provers.viper.Viper.solveSPWI(Viper.scala:192)	at at.logic.gapt.provers.viper.Viper.solve(Viper.scala:125)	at at.logic.gapt.provers.viper.Viper$.main(Viper.scala:279)	at at.logic.gapt.provers.viper.Viper.main(Viper.scala)