verific: Disable module existence check during static elaboration #1445
Annotations
2 errors and 4 warnings
|
|
|
Build C++17
The operation was canceled.
|
|
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'
|
Loading