Introduce {:isolate}
and {:isolate "paths"}
attributes for assert and return commands
#285
Annotations
10 errors and 1 warning
Install tools, build Boogie:
Source/Graph/Graph.cs#L35
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
Install tools, build Boogie:
Source/Graph/Graph.cs#L1199
Cannot convert null literal to non-nullable reference type.
|
Install tools, build Boogie:
Source/Graph/Graph.cs#L68
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
Install tools, build Boogie:
Source/Graph/Graph.cs#L72
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
Install tools, build Boogie:
Source/Graph/Graph.cs#L127
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
Install tools, build Boogie:
Source/Graph/Graph.cs#L88
The type 'TNode' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'TNode' doesn't match 'notnull' constraint.
|
Install tools, build Boogie:
Source/Graph/Graph.cs#L97
Cannot convert null literal to non-nullable reference type.
|
Install tools, build Boogie:
Source/Graph/Graph.cs#L433
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
Install tools, build Boogie:
Source/Graph/Graph.cs#L438
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
Install tools, build Boogie:
Source/Graph/Graph.cs#L439
The type 'Node' cannot be used as type parameter 'TKey' in the generic type or method 'Dictionary<TKey, TValue>'. Nullability of type argument 'Node' doesn't match 'notnull' constraint.
|
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Loading