Verifpal 0.27.3 #17
nadimkobeissiAnnotations
10 errors and 3 warnings
|
test:
cmd/vplogic/attackerstate.go#L1
: # verifpal.com/cmd/vplogic
|
|
test:
cmd/vplogic/coq.go#L16
undefined: libpegParseModel
|
|
test:
cmd/vplogic/coq.go#L39
undefined: libcoq
|
|
test:
cmd/vplogic/json.go#L43
undefined: Parse
|
|
test:
cmd/vplogic/json.go#L58
undefined: Parse
|
|
test:
cmd/vplogic/json.go#L95
undefined: Parse
|
|
test:
cmd/vplogic/json.go#L109
undefined: Parse
|
|
test:
cmd/vplogic/json.go#L123
undefined: Parse
|
|
test:
cmd/vplogic/pretty.go#L15
undefined: libpegParseModel
|
|
test:
cmd/vplogic/pv.go#L15
undefined: libpegParseModel
|
|
test
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/[email protected], actions/checkout@v2, golangci/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
test
Restore cache failed: Dependencies file is not found in /__w/verifpal/verifpal. Supported file pattern: go.sum
|