Changeset 96ea77a for libcfa

Timestamp:

Jul 3, 2023, 1:43:54 PM (2 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

f519bd8

Parents:

8909a2d (diff), 70f97c8 (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:

• libcfa/src/concurrency/channel.hfa (modified) (1 diff)

libcfa/src/concurrency/channel.hfa

@@ -340 +340 @@
     unlock( mutex_lock );
 
-    // only return true when not special OR case, not exceptional calse and status is SAT
-    return ( node.extra == 0p || !node.park_counter ) ? false : *node.clause_status == __SELECT_SAT;
+    // only return true when not special OR case and status is SAT
+    return !node.park_counter ? false : *node.clause_status == __SELECT_SAT;
 }