read_xaiger2: Rm debug print #1432
Annotations
8 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Build C++17:
passes/hierarchy/keep_hierarchy.cc#L69
format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 3 has type ‘uint64_t’ {aka ‘long unsigned int’} [-Wformat=]
|
|
Build C++17:
passes/hierarchy/keep_hierarchy.cc#L69
format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 4 has type ‘uint64_t’ {aka ‘long unsigned int’} [-Wformat=]
|
|
Setup Cpp
Failed to add apt key via server keyserver.ubuntu.com: Error: Command failed with exit code 2: sudo 'gpg' '--no-default-keyring' '--keyring' 'gnupg-ring:keyserver.ubuntu.com/ubuntu-toolchain-r-test.gpg' '--keyserver' 'keyserver.ubuntu.com' '--recv-keys' '1E9377A2BA9EF27F'
|
|
Setup Cpp
Failed to add apt key via server keyserver.ubuntu.com: Error: Command failed with exit code 2: sudo 'gpg' '--no-default-keyring' '--keyring' 'gnupg-ring:keyserver.ubuntu.com/ubuntu-toolchain-r-test.gpg' '--keyserver' 'keyserver.ubuntu.com' '--recv-keys' '1E9377A2BA9EF27F'
|
|
Build C++20
‘constant’ may be used uninitialized [-Wmaybe-uninitialized]
|
|
Build C++20:
passes/hierarchy/keep_hierarchy.cc#L69
format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 3 has type ‘uint64_t’ {aka ‘long unsigned int’} [-Wformat=]
|
|
Build C++20:
passes/hierarchy/keep_hierarchy.cc#L69
format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 4 has type ‘uint64_t’ {aka ‘long unsigned int’} [-Wformat=]
|
Loading