Changeset de917da3 for libcfa/src/concurrency/io.cfa

Timestamp:

Jun 24, 2020, 1:39:35 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

52769ba

Parents:

13c5e19

Message:

Removed flaky verify in io

File:

• libcfa/src/concurrency/io.cfa (modified) (1 diff)

libcfa/src/concurrency/io.cfa

@@ -464 +464 @@
                         }
                 }
-
-                uint32_t nhead = *ring.submit_q.head;
-                verifyf( (shead + ret) == nhead, "Expected %u got %u\n", (shead + ret), nhead );
 
                 // Release the consumed SQEs