Build Windows (Cross) #449
srbaAnnotations
10 warnings
|
build
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, lukka/[email protected], actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-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/options.cpp#L289
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#L303
format ‘%ld’ expects argument of type ‘long int*’, but argument 3 has type ‘int64_t*’ {aka ‘long long int*’} [-Wformat=]
|
|
build:
include/LTL/SuccessorGeneration/SpoolingSuccessorGenerator.h#L47
‘*((void*)(&<anonymous>)+8).LTL::SpoolingSuccessorGenerator::successor_info_t::_transition’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
verifypn-win64
Expired
|
7.19 MB |
|