Showing 591 of 2,492 total issues
Avoid too many return
statements within this method. Open
Open
return Result.success(new SpotChainOutput(ltl2tgbaResult, devExportResult, pcompResult, 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;
Avoid too many return
statements within this method. Open
Open
return Result.failure(new SpotChainOutput(ltl2tgbaResult, envExportResult, null, null));
Avoid too many return
statements within this method. Open
Open
return Result.cancel();
Avoid too many return
statements within this method. Open
Open
return monitor;
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.failure(new CombinedChainOutput(
devExportResult, pcompResult, unfoldingResult, null, verificationParametersList));
Avoid too many return
statements within this method. Open
Open
return Result.success(new CombinedChainOutput(
devExportResult, pcompResult, unfoldingResult, mpsatResultList, verificationParametersList));
Avoid too many return
statements within this method. Open
Open
return Result.success(new VerificationChainOutput(
devExportResult, pcompResult, mpsatResult, verificationParameters,
"Property is violated after the following trace(s):"));
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 VerificationChainOutput(
devExportResult, pcompResult, mpsatResult, completionParameters, message));
Avoid too many return
statements within this method. Open
Open
return true;
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.cancel();
Avoid too many return
statements within this method. Open
Open
return Result.failure(new SpotChainOutput(ltl2tgbaResult, envExportResult, pcompResult, null));
Avoid too many return
statements within this method. Open
Open
return true;
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.success(new VerificationChainOutput(
exportResult, null, mpsatResult, verificationParameters,
"Dataflow is deadlock-free"));