Showing 589 of 2,484 total issues
Avoid too many return
statements within this method. Open
Open
return;
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 false;
Avoid too many return
statements within this method. Open
Open
return true;
Avoid too many return
statements within this method. Open
Open
return Result.failure(new VerificationChainOutput(
devExportResult, modPcompResult, null, preparationParameters));
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 Result.success(new VerificationChainOutput(
envExportResult, null, mpsatResult, verificationParameters,
"Circuit does not strictly implement the environment after the following trace(s):"));
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;
Avoid too many return
statements within this method. Open
Open
return Result.failure(new VerificationChainOutput(
devExportResult, pcompResult, mpsatResult, verificationParameters));
Avoid too many return
statements within this method. Open
Open
return;
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 new Result<>(e);
Avoid too many return
statements within this method. Open
Open
return 0.0;
Avoid too many return
statements within this method. Open
Open
return null;
Avoid too many return
statements within this method. Open
Open
return Result.success(new VerificationChainOutput(
compositionExportResult, modPcompResult, conformationMpsatResult, conformationParameters,
"Circuit does not conform to the environment after the following trace(s):"));
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(
envExportResult, null, mpsatResult, verificationParameters,
"The circuit strictly implements its environment."));