Update README.md #84
gauravparthaAnnotations
11 warnings
|
build (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (ubuntu-latest):
Source/ProofGeneration/CfgToDag/EqualityHintGenerator.cs#L23
Non-nullable field '_hintLemmas' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
|
|
build (ubuntu-latest):
Source/ProofGeneration/CfgToDag/EqualityHintGenerator.cs#L23
Non-nullable field 'tyVarTranslation' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
|
|
build (ubuntu-latest):
Source/ProofGeneration/CfgToDag/CfgToDagLemmaManager.cs#L416
The variable 'isPost' is assigned but its value is never used
|
|
build (ubuntu-latest):
Source/ProofGeneration/Util/ProofGenSubsetChecker.cs#L16
The field 'ProofGenSubsetChecker.result' is never used
|
|
build (ubuntu-latest):
Source/ProofGeneration/ProofGenerationLayer.cs#L40
The field 'ProofGenerationLayer.noEmptyBlocksCfg' is never used
|
|
build (ubuntu-latest):
Source/ProofGeneration/Passification/PassificationLemmaManager.cs#L27
The field 'PassificationLemmaManager.funAssmsName' is assigned but its value is never used
|
|
build (ubuntu-latest):
Source/ProofGeneration/Passification/PassificationLemmaManager.cs#L44
The field 'PassificationLemmaManager.varAssmsName' is assigned but its value is never used
|
|
build (ubuntu-latest):
Source/ProofGeneration/MapDesugaringVisitor.cs#L22
The field 'MapDesugaringVisitor.index' is assigned but its value is never used
|
|
build (ubuntu-latest):
Source/ProofGeneration/MapDesugaringVisitor.cs#L21
The field 'MapDesugaringVisitor.baseName' is assigned but its value is never used
|
|
build (ubuntu-latest):
Source/VCGeneration/Wlp.cs#L153
Unreachable code detected
|