949596979899100101102103104105
break; } case 6: { // Eseguo i test per il layout di gestione dei warkaround // Verifico la presenza di tutti i file necessari Test test = new Test(); test.waTest(false); break; } case 7: { // Elimino tutti i wa html String fileSelected = (LayoutWA.listaHtml.getSelectedValue() != null) ? LayoutWA.listaHtml.getSelectedValue().toString() : null;
673674675676677678679
public ExprManagerMut getExprManager() throws Cvc3Exception { return new ExprManagerMut(jniGetExprManager(embedded()), embeddedManager()); } public Expr nullExpr() throws Cvc3Exception { return new Expr(jniNullExpr(embedded()), embeddedManager()); }