Merge pull request #174 from mtygesen/cpn-unfolding-2081147 #530
srbaAnnotations
12 warnings
|
build
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, lukka/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, lukka/[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/
|
|
build
narrowing conversion of '((((spot::to_parity_generator*)this)->spot::to_parity_generator::opt_.spot::to_parity_options::iar && is_streett_like) ? pairs2.std::vector<spot::acc_cond::rs_pair>::size() : 4294967295)' from 'long long unsigned int' to 'long unsigned int' [-Wnarrowing]
|
|
build
narrowing conversion of '((((spot::to_parity_generator*)this)->spot::to_parity_generator::opt_.spot::to_parity_options::iar && is_streett_like) ? pairs2.std::vector<spot::acc_cond::rs_pair>::size() : 4294967295)' from 'long long unsigned int' to 'long unsigned int' [-Wnarrowing]
|
|
build
narrowing conversion of '((((spot::to_parity_generator*)this)->spot::to_parity_generator::opt_.spot::to_parity_options::iar && is_rabin_like) ? pairs1.std::vector<spot::acc_cond::rs_pair>::size() : 4294967295)' from 'long long unsigned int' to 'long unsigned int' [-Wnarrowing]
|
|
build
narrowing conversion of '((((spot::to_parity_generator*)this)->spot::to_parity_generator::opt_.spot::to_parity_options::iar && is_rabin_like) ? pairs1.std::vector<spot::acc_cond::rs_pair>::size() : 4294967295)' from 'long long unsigned int' to 'long unsigned int' [-Wnarrowing]
|
|
build
'memset' specified bound between 18446744071562067968 and 18446744073709551615 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
|
|
build
'memset' specified bound between 18446744071562067968 and 18446744073709551615 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
|
|
build:
src/PetriEngine/Reducer.cpp#L1017
unused variable ‘in’ [-Wunused-variable]
|
|
build:
src/PetriEngine/Reducer.cpp#L1024
unused variable ‘in’ [-Wunused-variable]
|
|
build:
src/PetriEngine/options.cpp#L296
format ‘%ld’ expects argument of type ‘long int*’, but argument 3 has type ‘int64_t*’ {aka ‘long long int*’} [-Wformat=]
|
|
build:
src/PetriEngine/options.cpp#L310
format ‘%ld’ expects argument of type ‘long int*’, but argument 3 has type ‘int64_t*’ {aka ‘long long int*’} [-Wformat=]
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
verifypn-win64
|
3.07 MB |
|