workcraft/workcraft

Avoid too many return statements within this method.

Open

                return Result.failure(new VerificationChainOutput(
                        devExportResult, pcompResult, mpsatResult, verificationParameters));

Avoid too many return statements within this method.

Open

                    return Result.cancel();

Avoid too many return statements within this method.

Open

            return new Result<>(e);

Avoid too many return statements within this method.

Open

                    return Result.failure(new VerificationChainOutput(
                            devExportResult, pcompResult, null, preparationParameters));

Avoid too many return statements within this method.

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

                        return Result.cancel();

Avoid too many return statements within this method.

Open

            return Result.success(new VerificationChainOutput(
                    devExportResult, pcompResult, mpsatResult, verificationParameters,
                    "Property holds"));

Identical blocks of code found in 3 locations. Consider refactoring.

Open

            if (envStg != null) {
                // Make sure that input signals of the device STG are also inputs in the environment STG
                Set<String> inputSignalNames = devStg.getSignalNames(Signal.Type.INPUT, null);
                Set<String> outputSignalNames = devStg.getSignalNames(Signal.Type.OUTPUT, null);
                StgUtils.restoreInterfaceSignals(envStg, inputSignalNames, outputSignalNames);

• Read up
  Read up

Identical blocks of code found in 10 locations. Consider refactoring.

Open

                if (!envExportResult.isSuccess()) {
                    if (envExportResult.isCancel()) {
                        return Result.cancel();
                    }
                    return Result.failure(new VerificationChainOutput(

• Read up
  Read up

Identical blocks of code found in 10 locations. Consider refactoring.

Open

            if (!devExportResult.isSuccess()) {
                if (devExportResult.isCancel()) {
                    return Result.cancel();
                }
                return Result.failure(new VerificationChainOutput(

• Read up
  Read up

Identical blocks of code found in 3 locations. Consider refactoring.

Open

                if (!pcompResult.isSuccess()) {
                    if (pcompResult.isCancel()) {
                        return Result.cancel();
                    }
                    return Result.failure(new VerificationChainOutput(

• Read up
  Read up

Identical blocks of code found in 6 locations. Consider refactoring.

Open

            if (!mpsatResult.isSuccess()) {
                if (mpsatResult.isCancel()) {
                    return Result.cancel();
                }
                return Result.failure(new VerificationChainOutput(

• Read up
  Read up