Changeset f53afafb for tests/meta

Timestamp:

Feb 22, 2022, 2:45:47 PM (4 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

3a038fa

Parents:

5cefa43 (diff), a182ad5 (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/meta/dumpable.cfa (modified) (1 diff)

tests/meta/dumpable.cfa

@@ -72 +72 @@
         }
 
-        if((buf.f_bsize * buf.f_bavail) < 536870912) {
-                serr | "Available diskspace is less than ~500Mb: " | (buf.f_bsize * buf.f_bavail);
+        uint64_t avail = buf.f_bavail;
+        avail *= buf.f_bsize;
+        if(avail < 536870912_l64u) {
+                serr | "Available diskspace is less than ~500Mb: " | avail;
         }