Don’t crash if solver configuration is not found
Issue #31
new
In Skink I used "Yices" as a solver name passed to new SMTSolver("Yices", ...). Unfortunately, our application.conf doesn't have an entry for that precise name. The result is a crash:
06:11:17 DEBUG Verifier - java.util.NoSuchElementException: None.get
scala.None$.get(Option.scala:366)
at scala.None$.get(Option.scala:364)
at org.bitbucket.franck44.scalasmt.interpreters.SMTSolver.<init>(Interpreters.scala:64)
at au.edu.mq.comp.skink.verifier.TraceRefinement.getSolver$1(TraceRefinement.scala:135)
at au.edu.mq.comp.skink.verifier.TraceRefinement.$anonfun$traceRefinement$1(TraceRefinement.scala:159)
Comments (0)
