Showing 591 of 2,492 total issues
Avoid too many return
statements within this method. Open
Open
return false;
Avoid too many return
statements within this method. Open
Open
return false;
Avoid too many return
statements within this method. Open
Open
return not(x);
Avoid too many return
statements within this method. Open
Open
return Result.failure(new WriteSgConversionOutput(output, null));
Avoid too many return
statements within this method. Open
Open
return false;
Avoid too many return
statements within this method. Open
Open
return false;
Avoid too many return
statements within this method. Open
Open
return Result.exception(result.getCause());
Avoid too many return
statements within this method. Open
Open
return Result.exception(result.getCause());
Avoid too many return
statements within this method. Open
Open
return false;
Avoid too many return
statements within this method. Open
Open
return new And(x, y);
Avoid too many return
statements within this method. Open
Open
return true;
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 VerificationChainOutput(
modEnvExportResult, null, null, preparationParameters));
Avoid too many return
statements within this method. Open
Open
return false;
Avoid too many return
statements within this method. Open
Open
return false;
Avoid too many return
statements within this method. Open
Open
return Result.exception(result.getCause());
Avoid too many return
statements within this method. Open
Open
return true;
Avoid too many return
statements within this method. Open
Open
return false;
Avoid too many return
statements within this method. Open
Open
return false;
Avoid too many return
statements within this method. Open
Open
return true;