LS-Lab/KeYmaeraX-release

KeYmaera X hangs after -prove calls on OpenJDK when using wolframscript

nrfulton opened this issue · 1 comments

nrfulton commented

Quick fix: add a System.exit() to the end of the prove() method in launcher/KeYmaeraX.scala.

smitsch commented

b9159b5 now shuts down tools with a maximum timeout before shutting down ungracefully.