Changeset 1f05c83

Timestamp:

Jun 15, 2021, 12:16:42 PM (2 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

4f1b8f3

Parents:

07033ce

Message:

Added more debug to defice/cpu

File:

• libcfa/src/device/cpu.cfa (modified) (1 diff)

libcfa/src/device/cpu.cfa

@@ -257 +257 @@
                 for(i; 1~cpus) {
                         for(j; cache_levels) {
-                                verify(raw[0][j].width == raw[i][j].width);
+                                verifyf(raw[0][j].width == raw[i][j].width, "Unexpected width %u for cpu %u, index %u. Expected %u.", raw[i][j].width, i, j, raw[0][j].width);
                         }
                 }