workcraft/MpsatTemporalPlugin/src/org/workcraft/plugins/mpsat_temporal/tasks/SpotChainTask.java
Avoid too many return statements within this method. Open
Open
return Result.success(new SpotChainOutput(ltl2tgbaResult, mpsatResult));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.failure(new SpotChainOutput(ltl2tgbaResult, mpsatResult));