Showing 2,488 of 2,488 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 x;
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 Pair.of(EMPTY, str);
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 Imply(x, y);
Avoid too many return
statements within this method. Open
Open
return false;
Avoid too many return
statements within this method. Open
Open
return new Iff(x, y);
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 new Or(x, y);
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 false;
Avoid too many return
statements within this method. Open
Open
return true;
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 false;