Push on main #100
lemon-mintcodeql
on: dynamic
Matrix: analyze
Annotations
4 errors
|
Analyze (go)
assignment mismatch: 3 variables but store.InitialState returns 2 values
|
|
Analyze (go)
assignment mismatch: 3 variables but node.store.InitialState returns 2 values
|
|
Analyze (go)
cannot use db.EPaxosStorage() (value of type *PebbleStorage) as epaxos.Storage value in struct literal: *PebbleStorage does not implement epaxos.Storage (wrong type for method InitialState)
|
|
Analyze (go)
cannot use db.EPaxosStorage() (value of type *PebbleStorage) as epaxos.Storage value in struct literal: *PebbleStorage does not implement epaxos.Storage (wrong type for method InitialState)
|