verific: Disable module existence check during static elaboration #1445
Annotations
2 warnings
Build C++17:
passes/hierarchy/keep_hierarchy.cc#L69
format specifies type 'unsigned long long' but the argument has type 'uint64_t' (aka 'unsigned long') [-Wformat]
|
Build C++17:
passes/hierarchy/keep_hierarchy.cc#L69
format specifies type 'unsigned long long' but the argument has type 'uint64_t' (aka 'unsigned long') [-Wformat]
|
Loading