Root level cycle reasons #1
Description
When a cycle leads to a root level failure or propagation (Bellman-Ford or Johnson), currently no reasons are required. However, they might be needed for proof logging later.
{{ message }}
When a cycle leads to a root level failure or propagation (Bellman-Ford or Johnson), currently no reasons are required. However, they might be needed for proof logging later.