我遇到了System.out.print的问题(结果)是将is=3、imple=2、it=1打印到控制台,但是junit说的是“预期的<is=3 imple =2 it=1>,但是是<[]>。代码输出is=3、imple=2、it=1,但它似乎并没有将其更新到内存中。关于我该做什么有什么建议或建议吗?非常感谢!results.toString();
System.out.println(results); // The main problem is this outp
(forallE(normpop1Lemma)(i,normadd(pshf,qshf)))( g => andI(axioms1,axioms2)), axioms1, axioms2)), implE(forallE(normpop1Lemma)(i,normadd(POP(i-j,pshf),qshf)))( g =&