Changeset 175f9f4 for tests/device

Timestamp:

Jan 18, 2022, 1:16:23 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum, stuck-waitfor-destruct

Children:

1e8b4b49, adfd125

Parents:

21a5bfb7 (diff), 91a72ef (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• tests/device/cpu.cfa (modified) (3 diffs)

tests/device/cpu.cfa

@@ -15 +15 @@
 
 
+#include <device/cpu.hfa>
+#include <limits.hfa>
 #include <fstream.hfa>
-#include <device/cpu.hfa>
 #include <stdlib.hfa>
 
@@ -118 +119 @@
 
         unsigned found_level = 0;
-        unsigned found = -1u;
+        unsigned found = MAX;
         for(i; idxs) {
                 unsigned idx = idxs - 1 - i;
@@ -136 +137 @@
         }
 
-        /* paranoid */ verify(found != -1u);
+        /* paranoid */ verify(found != MAX);
         return found;
 }