Skip to content

Fixing a bug where a transition used in a query was removed. #580

Fixing a bug where a transition used in a query was removed.

Fixing a bug where a transition used in a query was removed. #580

Triggered via pull request February 19, 2025 14:36
Status Success
Total duration 13m 11s
Artifacts 1

build-win.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
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 18446744065119617024 and 18446744073709551612 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
build
'memset' specified bound between 18446744065119617024 and 18446744073709551612 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
build
'memset' specified bound between 18446744065119617024 and 18446744073709551612 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
build
'memset' specified bound between 18446744065119617024 and 18446744073709551612 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
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=]

Artifacts

Produced during runtime
Name Size
verifypn-win64
3.16 MB