Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Since contention does a 'partial' resolution of the circuit, the circuit resolution after contention will likely exit early because the Input elements' output node value will be unchanged, therefore might never re-resolve the contended nodes. So it's necessary to force reset nodes.
- Loading branch information