-
- Downloads
"src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala" did not exist on "9e63efe639af396be6f6ac6fa925f1414b15a17e"
Improve ManualSearch interaction
'h' command in ManualSearch prints a friendly message Improve messages during search Gracefully exit at EOF
Showing
- src/main/scala/leon/synthesis/Problem.scala 5 additions, 1 deletionsrc/main/scala/leon/synthesis/Problem.scala
- src/main/scala/leon/synthesis/graph/Graph.scala 12 additions, 4 deletionssrc/main/scala/leon/synthesis/graph/Graph.scala
- src/main/scala/leon/synthesis/rules/CEGISLike.scala 3 additions, 1 deletionsrc/main/scala/leon/synthesis/rules/CEGISLike.scala
- src/main/scala/leon/synthesis/strategies/ManualStrategy.scala 27 additions, 10 deletions...main/scala/leon/synthesis/strategies/ManualStrategy.scala
Loading
Please register or sign in to comment