Skip to content
Build Windows (Cross)

Fix bug in colored reduction rule Relevance #466

Sign in to view logs

Fix bug in colored reduction rule Relevance

Fix bug in colored reduction rule Relevance #466

Triggered via pull request November 15, 2023 13:53
@NicEastvillageNicEastvillage
opened #156
NicEastvillage:fix-col-red-relevance
Status Success
Total duration 11m 54s
Artifacts 1

build-win.yml

on: pull_request
build
11m 44s
build
Fit to window
Zoom out
Zoom in

Annotations

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