Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) #53
Annotations
1 error and 12 warnings
|
Generate external benchmark proofs
Process completed with exit code 1.
|
|
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-dotnet@v1, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-dotnet@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L105
Nullability of type of parameter 'x' doesn't match overridden member (possibly because of nullability attributes).
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L105
Nullability of type of parameter 'y' doesn't match overridden member (possibly because of nullability attributes).
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L85
Cannot convert null literal to non-nullable reference type.
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L47
Possible null reference return.
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L51
Possible null reference return.
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L56
Possible null reference argument for parameter 'type' in 'bool ObjectExtensions.IsPrimitive(Type type)'.
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L58
Converting null literal or possible null value to non-nullable type.
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L59
Possible null reference argument for parameter 'array' in 'void ArrayExtensions.ForEach(Array array, Action<Array, int[]> action)'.
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L60
Dereference of a possibly null reference.
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L60
Possible null reference argument for parameter 'originalObject' in 'object ObjectExtensions.InternalCopy(object originalObject, IDictionary<object, object> visited, Predicate<Type> deepCopyPred)'.
|
Loading