在copris中未定义目标变量

Question

我在copris v.1.1中使用Akari求解器

这是scalademoapp.scala代码：

import java.lang.String 
import java.util.Arrays 

object scalademoapp extends App { 
    System.out.println(" test 1............."); 
    val a = new Array [String] (3); a(0)="-smt";
    a(1)="-v"; a(2)="c:\\akari.txt"; 
    System.out.println("test.............");
    System.out.println(a.deep.mkString("\n")); 
    Solver.main(a); 
    System.out.println("test4............."); 
}

尝试执行求解器时会引发此异常：

线程“main”java中出现异常。lang.RuntimeException:目标变量未在jp定义。神户杯。糖解算器。findOptBody（Sugar.scala:631）在jp。神户杯。AbstractSolver$$anonfun$findOpt$1。在jp处应用$mcZ$sp（Solver.scala:266）。神户杯。AbstractSolver$$anonfun$findOpt$1。在jp应用（Solver.scala:264）。神户杯。AbstractSolver$$anonfun$findOpt$1。在jp应用（Solver.scala:264）。神户杯。抽象解算器。测量时间（Solver.scala:205），jp。神户杯。抽象解算器。findOpt（Solver.scala:264）在jp。神户杯。copris$class。findOpt（Copris.scala:52）jp。神户杯。dsl美元。findOpt（Copris.scala:92）在AbstractPuzzleSolver$class上。findOptSolution（PuzzleSolver.scala:54）位于Solver$。AbstractPuzzleSolver$class上的findOptSolution（Akari-v1-1.scala:37）。在Solver$上解决（谜题求解器，scala:70）。BoardPuzzsolver$课程上的BoardPuzzsolver$超级$solve（Akari-v1-1.scala:37）。在Solver$上求解（Puzzsolver.scala:237）。在AbstractPuzzSolver$课程上求解（Akari-v1-1.scala:37）。main（PuzzleSolver.scala:163）位于Solver$。main（Akari-v1-1.scala:37）售价为scalademoapp$。delayedEndpoint$scalademoapp$1（scalademoapp.scala:21）在scalademoapp$delayedInit$body。在scala应用（scalademoapp.scala:7）。功能0美元级。在scala上应用$mcV$sp（函数0.scala:40）。运行时。抽象功能0。在scala上应用$mcV$sp（AbstractFunction0.scala:12）。App$$anonfun$main$1。在scala申请（应用程序scala:76）。App$$anonfun$main$1。在scala申请（应用程序scala:76）。收集不变的列表scala上的foreach（List.scala:381）。收集通用的TraversableForwarder$类。scala的foreach（TraversableForwarder.scala:35）。App$class。main（应用程序scala:76）售价为scalademoapp$。主干道（scalademoapp.scala:7）位于scalademoapp。main（scalademoapp.scala）

是什么导致了这种异常？

Answer 1

case"-smt":: 求解器:: restatPuzzleSolver.scala--v应该是最后一个参数：Solver.main（Array（"-smt"，"c：\\akari.txt"，"-v"））