workcraft/MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat_synthesis/tasks/SynthesisChainTask.java
Avoid too many return statements within this method. Open
Open
return new Result<>(e);Avoid too many return statements within this method. Open
Open
return Result.cancel();Avoid too many return statements within this method. Open
Open
return Result.success(new SynthesisChainOutput(exportResult, mpsatResult, synthesisMode));Avoid too many return statements within this method. Open
Open
return Result.failure(new SynthesisChainOutput(exportResult, mpsatResult, synthesisMode));